Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1577619, author = {Chalupa, Marek and Strejček, Jan}, address = {Cham (Switzerland)}, booktitle = {Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings}, doi = {http://dx.doi.org/10.1007/978-3-030-34968-4_6}, editor = {Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa}, keywords = {program analysis; static program slicing; verification}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Cham (Switzerland)}, isbn = {978-3-030-34967-7}, pages = {101-119}, publisher = {Springer}, title = {Evaluation of Program Slicing in Software Verification}, url = {https://link.springer.com/chapter/10.1007%2F978-3-030-34968-4_6}, year = {2019} }
TY - JOUR ID - 1577619 AU - Chalupa, Marek - Strejček, Jan PY - 2019 TI - Evaluation of Program Slicing in Software Verification PB - Springer CY - Cham (Switzerland) SN - 9783030349677 KW - program analysis KW - static program slicing KW - verification UR - https://link.springer.com/chapter/10.1007%2F978-3-030-34968-4_6 L2 - https://link.springer.com/chapter/10.1007%2F978-3-030-34968-4_6 N2 - There are publications that consider the use of program slicing in software verification, but we are aware of no publication that thoroughly evaluates the impact of program slicing on the verification process. This paper aims to fill in this gap by providing a comparison of the effect of program slicing on the performance of the reachability analysis in several state-of-the-art software verification tools, namely CPAchecker, DIVINE, KLEE, SeaHorn, and SMACK. The effect of slicing is evaluated on the number of solved benchmarks and running times of the tools. Experiments show that the effect of program slicing is mostly positive and can significantly improve the performance of some tools. ER -
CHALUPA, Marek a Jan STREJČEK. Evaluation of Program Slicing in Software Verification. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. \textit{Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings}. Cham (Switzerland): Springer, 2019, s.~101-119. ISBN~978-3-030-34967-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-34968-4\_{}6.
|