Rahul Purandare

	2008
3		Matthew B. Dwyer, Rahul Purandare: Residual Checking of Safety Properties. SPIN 2008: 1-2
	2007
2		Matthew B. Dwyer, Rahul Purandare: Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. ASE 2007: 124-133
1		Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare: Parallel Randomized State-Space Search. ICSE 2007: 3-12

Coauthor Index

1	Matthew B. Dwyer	[1] [2] [3]
2	Sebastian G. Elbaum	[1]
3	Suzette Person	[1]