Other formats:
BibTeX
LaTeX
RIS
@inproceedings{991970,
author = {Strejček, Jan and Trtík, Marek},
address = {New York, NY, USA},
booktitle = {Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012},
doi = {http://dx.doi.org/10.1145/2338965.2336772},
editor = {Mats Per Erik Heimdahl, Zhendong Su},
keywords = {Symbolic execution; Path conditions; Program location reachability; Tests generation},
howpublished = {tištěná verze "print"},
language = {eng},
location = {New York, NY, USA},
isbn = {978-1-4503-1454-1},
pages = {155-165},
publisher = {ACM},
title = {Abstracting Path Conditions},
url = {http://doi.acm.org/10.1145/2338965.2336772},
year = {2012}
}
TY - JOUR
ID - 991970
AU - Strejček, Jan - Trtík, Marek
PY - 2012
TI - Abstracting Path Conditions
PB - ACM
CY - New York, NY, USA
SN - 9781450314541
KW - Symbolic execution
KW - Path conditions
KW - Program location reachability
KW - Tests generation
UR - http://doi.acm.org/10.1145/2338965.2336772
L2 - http://doi.acm.org/10.1145/2338965.2336772
N2 - We present a symbolic-execution-based algorithm that for a given program and a given program location in it produces a nontrivial necessary condition on input values to drive the program execution to the given location. The algorithm is based on computation of loop summaries for loops along acyclic paths leading to the target location. We also propose an application of necessary conditions in contemporary bug-finding and test-generation tools. Experimental results on several small benchmarks show that the presented technique can in some cases significantly improve performance of the tools.
ER -
STREJČEK, Jan and Marek TRTÍK. Abstracting Path Conditions. In Mats Per Erik Heimdahl, Zhendong Su. \textit{Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012}. New York, NY, USA: ACM, 2012, p.~155-165. ISBN~978-1-4503-1454-1. Available from: https://dx.doi.org/10.1145/2338965.2336772.
|
