Travelled to:1 × Canada
Collaborated with:K.Wehrle R.Sasnauskas C.Cadar D.Schemmel J.Büning T.N.0001
Talks about:symbol (3) system (2) distribut (1) softwar (1) analysi (1) theori (1) solver (1) interv (1) execut (1) world (1)
Person: Oscar Soria Dustmann
DBLP: Dustmann:Oscar_Soria
Contributed to:
2012
2018
2018Wrote 3 papers:
- ICST-2012-DustmannSW #distributed #testing
- Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
- ASE-2018-DustmannWC #execution #multi #named #symbolic computation
- PARTI: a multi-interval theory solver for symbolic execution (OSD, KW, CC), pp. 430–440.
- CAV-2018-SchemmelBDNW #analysis #liveness
- Symbolic Liveness Analysis of Real-World Software (DS, JB, OSD, TN0, KW), pp. 447–466.