Travelled to:
1 × Ireland
Collaborated with:
M.D.Ernst W.G.Griswold D.Notkin
Talks about:
program (1) invari (1) detect (1) relev (1) quick (1)
Person: Adam Czeisler
DBLP: Czeisler:Adam
Contributed to:
Wrote 1 papers:
- ICSE-2000-ErnstCGN #detection #invariant
- Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.