CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Visual Interactive Debugger Based on Symbolic Execution

Reiner Hähnle (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Markus Baum ; Richard Bubel (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Markus Rothe
25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ACM Press p. 143-146. (2010)
[Konferensbidrag, refereegranskat]

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.

Nyckelord: Reverse debugging, State visualisation, Symbolic execution, Test generation



Denna post skapades 2010-10-27. Senast ändrad 2016-07-26.
CPL Pubid: 128194

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)

Ämnesområden

Datalogi
Programvaruteknik

Chalmers infrastruktur