S. Ramesh, A. Kulkarni, and V. Kamat. ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, page 217--220. New York, NY, USA, ACM Press, (2004)
G. Berry, S. Ramesh, and R. Shyamasundar. POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 85--98. New York, NY, USA, ACM Press, (1993)