Travelled to:
1 × Austria
Collaborated with:
Z.Micskei
Talks about:
symbol (1) execut (1) evalu (1) tool (1) test (1) base (1)
Person: Lajos Cseppento
DBLP: Cseppento:Lajos
Contributed to:
Wrote 1 papers:
- ICST-2015-CseppentoM #symbolic computation #tool support
- Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.