Travelled to:
1 × Hungary
Collaborated with:
I.Beschastnikh Y.Brun M.Sloan M.D.Ernst
Talks about:
instrument (1) constrain (1) leverag (1) automat (1) invari (1) model (1) infer (1) exist (1)
Person: Sigurd Schneider
DBLP: Schneider:Sigurd
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
- Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.