Travelled to:
1 × Belgium
Collaborated with:
R.Hähnle R.Bubel M.Rothe
Talks about:
interact (1) visual (1) symbol (1) execut (1) debugg (1) base (1)
Person: Marcus Baum
DBLP: Baum:Marcus
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.