Travelled to:
1 × Belgium
Collaborated with:
R.Hähnle M.Baum R.Bubel
Talks about:
interact (1) visual (1) symbol (1) execut (1) debugg (1) base (1)
Person: Marcel Rothe
DBLP: Rothe:Marcel
Contributed to:
Wrote 1 papers:
- ASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation
- A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.