Visual Interactive Debugger Based on Symbolic Execution
Paper in proceeding, 2010
Symbolic execution
Reverse debugging
State visualisation
Test generation
Author
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
M. Baum
Karlsruhe Institute of Technology (KIT)
Richard Bubel
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Markus Rothe
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Published in
25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ACM Press
p. 143-146
978-1-4503-0116-9 (ISBN)
Categorizing
Subject Categories (SSIF 2011)
Software Engineering
Computer Science
Identifiers
DOI
10.1145/1858996.1859022
ISBN
978-1-4503-0116-9