| Identifikační kód | RIV/00216224:14330/12:00057592 |
|---|
| Název v anglickém jazyce | Abstracting Path Conditions |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2012 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 2 |
|---|
| Počet domácích tvůrců | 2 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915)
Marek Trtík (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9937056) |
|---|
| Popis výsledku v anglické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. |
|---|
| Klíčová slova oddělená středníkem | Symbolic execution; Path conditions; Program location reachability; Tests generation |
|---|
| Stránka www, na které se nachází výsledek | http://doi.acm.org/10.1145/2338965.2336772 |
|---|
| DOI výsledku | 10.1145/2338965.2336772 |
|---|