Madan Musuvathi

	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

Coauthor Index

1	Nikolaj Bjørner	[3]
2	Andreas Blass	[3]
3	Sumit Gulwani	[5]
4	Yuri Gurevich	[3]
5	K. Rustan M. Leino	[1]
6	Xinming Ou	[1]
7	Shaz Qadeer	[2]

Colors in the list of coauthors