 | 2011 |
|---|
| 6 |       | Thomas Ball,
Sebastian Burckhardt,
Peli de Halleux,
Madan Musuvathi,
Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code.
IEEE Software 28(3): 75-83 (2011) |
| 2008 |
|---|
| 5 | | Sumit Gulwani,
Madan Musuvathi:
Cover Algorithms and Their Combination.
ESOP 2008: 193-207 |
| 4 | | Madan Musuvathi:
Systematic concurrency testing using CHESS.
PADTAD 2008: 10 |
| 3 | | Nikolaj Bjørner,
Andreas Blass,
Yuri Gurevich,
Madan Musuvathi:
Modular difference logic is hard
CoRR abs/0811.0987: (2008) |
| 2006 |
|---|
| 2 | | Madan Musuvathi,
Shaz Qadeer:
CHESS: Systematic Stress Testing of Concurrent Software.
LOPSTR 2006: 15-16 |
| 2005 |
|---|
| 1 | | K. Rustan M. Leino,
Madan Musuvathi,
Xinming Ou:
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.
TACAS 2005: 334-348 |
Data released under the ODC-BY 1.0 license — See also our legal information page