Visual Interactive Debugger Based on Symbolic Execution
Paper i proceeding, 2010
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state debugger. It allows to start debugging of source code at any code location without the need to write a fixture as well as to visualize all possible symbolic execution paths and all symbolic states up to a finite depth. A code-based test generation facility is integrated. © 2010 ACM.
Symbolic execution
Reverse debugging
State visualisation
Test generation
Författare
Reiner Hähnle
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
M. Baum
Karlsruher Institut für Technologie (KIT)
Richard Bubel
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Markus Rothe
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ACM Press
143-146
978-1-4503-0116-9 (ISBN)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1145/1858996.1859022
ISBN
978-1-4503-0116-9