DMCA
Testing, abstraction, theorem proving: better together (2006)
Cached
Download Links
| Venue: | In Software Testing and Analysis (ISSTA |
| Citations: | 24 - 1 self |
BibTeX
@INPROCEEDINGS{Yorsh06testing,abstraction,,
author = {Greta Yorsh},
title = {Testing, abstraction, theorem proving: better together},
booktitle = {In Software Testing and Analysis (ISSTA},
year = {2006},
pages = {145--156},
publisher = {ACM}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present a method for static program analysis that leverages tests and concrete program executions. State abstractions generalize the set of program states obtained from concrete executions. A theorem prover then checks that the generalized set of concrete states covers all potential executions and satisfies additional safety properties. Our method finds the same potential errors as the mostprecise abstract interpreter for a given abstraction and is potentially more efficient. Additionally, it provides a new way to tune the performance of the analysis by alternating between concrete execution and theorem proving. We have implemented our technique in a prototype for checking properties of C # programs.
