Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:F.Piessens N.Tillmann
Talks about:composit (1) theoret (1) program (1) pointer (1) generat (1) symbol (1) execut (1) aspect (1) input (1) test (1)
Person: Dries Vanoverberghe
DBLP: Vanoverberghe:Dries
Contributed to:
2011
2009Wrote 2 papers:
- FASE-2011-VanoverbergheP #aspect-oriented #composition #execution #symbolic computation
- Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.
- TACAS-2009-VanoverbergheTP #generative #pointer #source code
- Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.