21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (2006)
Sept. 18, 2006 to Sept. 22, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.24
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
Refining, Software tools, Computer industry, Programming, Counting circuits, Simultaneous localization and mapping, Automatic testing, Software testing, Software engineering
"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.