loading...
Automatic Property Checking for Software: Past, Present and Future
Tokyo, Japan September 18-September 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.2421st IEEE International Conference on ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Sriram K. Rajamani, "Automatic Property Checking for Software: Past, Present and Future," Automated Software Engineering, International Conference on, pp. 12, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2006.24,
author = {Sriram K. Rajamani},
title = {Automatic Property Checking for Software: Past, Present and Future},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2006},
issn = {1527-1366},
pages = {12},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Automatic Property Checking for Software: Past, Present and Future
SN - 1527-1366
SP
EP
A1 - Sriram K. Rajamani,
PY - 2006
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Sriram K. Rajamani, Microsoft Research India
Over the past few years, we have seen several automatic static analysis tools being developed and deployed in industrial-strength software development. I will survey several of these tools ranging from heuristic and scalable analysis tools (such as PREFix, PREFast and Metal), to sound analysis tools based on counter example driven refinement (such as SLAM). Then, I will present two exciting recent developments in counterexample driven refinement:(1) generalizing counterexample driven refinement to work with any abstract interpretation, and (2) combining directed testing with counterexample driven refinement.
Citation:
Sriram K. Rajamani, "Automatic Property Checking for Software: Past, Present and Future," ase, pp.12, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.