The Community for Technology Leaders
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (2006)
Tokyo, Japan
Sept. 18, 2006 to Sept. 22, 2006
ISSN: 1527-1366
ISBN: 0-7695-2579-2
pp: 12
ABSTRACT
Summary form only given. 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
INDEX TERMS
Refining, Software tools, Computer industry, Programming, Counting circuits, Simultaneous localization and mapping, Automatic testing, Software testing, Software engineering
CITATION

"Automatic Property Checking for Software: Past, Present and Future," 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)(ASE), Tokyo, Japan, 2006, pp. 12.
doi:10.1109/ASE.2006.24
93 ms
(Ver 3.3 (11022016))