Items where Author is "Bhateja, Puneet"

Bhateja, Puneet ; Mukund, Madhavan (2008) Tagging make local testing of message-passing systems feasible In: 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM), 10-14 Nov 2008, Cape Town, South Africa.

Bhateja, Puneet ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2007) Local testing of message sequence charts is difficult In: 16th International Symposium on Fundamentals of Computation Theory, FCT 2007, 27-30 Aug 2007, Budapest, Hungary.

Bhateja, Puneet ; Gastin, Paul ; Mukund, Madhavan (2006) A fresh look at testing for asynchronous communication In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006,, 23-26 Oct 2006, Beijing, China.