Snugglebug

Stephen Fink
IBM Research
http://domino.research.ibm.com/comm/research_people.nsf/pages/sfink.index.html

Abstract:
 
We describe a new project at IBM Research applying program analysis to
improving software quality for large Java applications.  We are
building a tool that infers partial specifications and involves the
user in a specification feedback loop, in order to acquire richer
specifications to drive bug finding and test case generation.  The
tool relies on symbolic underapproximate analysis to derive candidate
specifications, find bugs, and generate JUnit tests as concrete
witnesses.  This talk will give an overview of our approach and
discuss work-in-progress with aggressive interprocedural symbolic
analysis and test case generation respecting object-oriented APIs.