Angelic debugging
- Satish Chandra
- Emina Torlak
- et al.
- 2011
- ICSE 2011
Publications
Date
Featured collections
Popular topics
3 results for Emina Torlak
MemSAT: Checking axiomatic specifications of memory models
- Emina Torlak
- Mandana Vaziri
- et al.
- 2010
- PLDI 2010
Effective interprocedural resource leak detection
- Emina Torlak
- Satish Chandra
- 2010
- ICSE 2010