Sökning: onr:"swepub:oai:research.chalmers.se:b961ec54-860f-4a53-b4e6-cfcfe28f58a8" >
Visual Interactive ...
Visual Interactive Debugger Based on Symbolic Execution
-
- Hähnle, Reiner, 1962 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Baum, M. (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Bubel, Richard, 1976 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Rothe, Markus (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- ISBN 9781450301169
- 2010-09-20
- 2010
- Engelska.
-
Ingår i: 25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ACM Press. - New York, NY, USA : ACM. - 9781450301169 ; , s. 143-146
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Symbolic execution
- Reverse debugging
- State visualisation
- Test generation
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas