Abstracting Path Conditions

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00057592" target="_blank" >RIV/00216224:14330/12:00057592 - isvavai.cz</a>
Výsledek na webu
<a href="http://doi.acm.org/10.1145/2338965.2336772" target="_blank" >http://doi.acm.org/10.1145/2338965.2336772</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2338965.2336772" target="_blank" >10.1145/2338965.2336772</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Abstracting Path Conditions
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Abstracting Path Conditions
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012
ISBN
9781450314541
ISSN
—
e-ISSN
—
Počet stran výsledku
11
Strana od-do
155-165
Název nakladatele
ACM
Místo vydání
New York, NY, USA
Místo konání akce
Minneapolis, MN, USA
Datum konání akce
1. 1. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)