Loading...
conference paper
Program Analysis with Dynamic Precision Adjustment
2008
Proceedings ot the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on the accumulated results. For example, the explicit tracking of the values of a variable may be switched off in favor of a predicate abstraction when and where the number of different variable values that have been encountered has exceeded a specified threshold. The method is evaluated on verifying the SSH client/server software and shows significant gains compared with predicate abstraction-based model checking.
Type
conference paper
Authors
Publication date
2008
Publisher
Published in
Proceedings ot the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
Start page
29
End page
38
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
L'Aquila, Italy | 15-19 September 2008 | |
Available on Infoscience
October 30, 2008
Use this identifier to reference this record