Travelled to:
1 × Germany
Collaborated with:
L.G.Murillo J.Castrillón R.Leupers G.Ascheid
Talks about:
constraint (1) concurr (1) automat (1) detect (1) order (1) event (1) bug (1)
Person: Simon Wawroschek
DBLP: Wawroschek:Simon
Contributed to:
Wrote 1 papers:
- DATE-2014-MurilloWCLA #automation #concurrent #constraints #debugging #detection
- Automatic detection of concurrency bugs through event ordering constraints (LGM, SW, JC, RL, GA), pp. 1–6.