Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{947610, author = {Obdržálek, Jan and Trtík, Marek}, address = {Heidelberg}, booktitle = {Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011}, doi = {http://dx.doi.org/10.1007/978-3-642-24372-1_34}, editor = {Tevfik Bultan and Pao-Ann Hsiung}, keywords = {symbolic execution; loops in programs; program verification; bug-finding}, language = {eng}, location = {Heidelberg}, isbn = {978-3-642-24371-4}, pages = {453-462}, publisher = {Springer-Verlag}, title = {Efficient Loop Navigation for Symbolic Execution}, year = {2011} }
TY - JOUR ID - 947610 AU - Obdržálek, Jan - Trtík, Marek PY - 2011 TI - Efficient Loop Navigation for Symbolic Execution PB - Springer-Verlag CY - Heidelberg SN - 9783642243714 KW - symbolic execution KW - loops in programs KW - program verification KW - bug-finding N2 - Symbolic execution is a successful technique used in software verification and testing. A key limitation of symbolic execution is in dealing with code containing loops. We introduce a technique which, given a start location above some loops and a target location anywhere below these loops, returns a feasible path between these two locations, if such a path exists. The technique infers a collection of constraint systems from the program and uses them to steer the symbolic execution towards the target. On reaching a loop it iteratively solves the appropriate constraint system to find out which path through this loop to take, or, alternatively, whether to continue below the loop. To construct the constraint systems we express the values of variables modified in a loop as functions of the number of times a given path through the loop was executed. ER -
OBDRŽÁLEK, Jan a Marek TRTÍK. Efficient Loop Navigation for Symbolic Execution. In Tevfik Bultan and Pao-Ann Hsiung. \textit{Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011}. Heidelberg: Springer-Verlag, 2011, s.~453-462. ISBN~978-3-642-24371-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-24372-1\_{}34.
|