Bhateja, Puneet; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan Local testing of message sequence charts is difficult. (English) Zbl 1135.68499 Csuhaj-Varjú, Erzsébet (ed.) et al., Fundamentals of computation theory. 16th international symposium, FCT 2007, Budapest, Hungary, August 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74239-5/pbk). Lecture Notes in Computer Science 4639, 76-87 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Bhateja} et al., Lect. Notes Comput. Sci. 4639, 76--87 (2007; Zbl 1135.68499) Full Text: DOI
Bhateja, Puneet; Gastin, Paul; Mukund, Madhavan A fresh look at testing for asynchronous communication. (English) Zbl 1161.68349 Graf, Susanne (ed.) et al., Automated technology for verification and analysis. 4th international symposium, ATVA 2006, Beijing, China, October 23–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47237-7/pbk). Lecture Notes in Computer Science 4218, 369-383 (2006). MSC: 68M15 68Q60 PDFBibTeX XMLCite \textit{P. Bhateja} et al., Lect. Notes Comput. Sci. 4218, 369--383 (2006; Zbl 1161.68349) Full Text: DOI