Travelled to:1 × Sweden
Collaborated with:C.S.Pasareanu M.B.Dwyer A.Filieri W.Visser
Talks about:nondeterminist (1) probabilist (1) approxim (1) program (1) symbol (1) execut (1) exact (1)
Person: Kasper Søe Luckow
DBLP: Luckow:Kasper_S=oslash=e
Contributed to:
2014Wrote 1 papers:
- ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation
- Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.