Local testing of message sequence charts is difficult P Bhateja, P Gastin, M Mukund, KN Kumar Fundamentals of Computation Theory: 16th International Symposium, FCT 2007 …, 2007 | 17 | 2007 |
A fresh look at testing for asynchronous communication P Bhateja, P Gastin, M Mukund International Symposium on Automated Technology for Verification and …, 2006 | 17 | 2006 |
A TGV-like approach for asynchronous testing P Bhateja Proceedings of the 7th India Software Engineering Conference, 1-6, 2014 | 7 | 2014 |
Grammar based asynchronous testing P Bhateja Proceedings of the 2nd India software engineering conference, 105-110, 2009 | 4 | 2009 |
Tagging make local testing of message-passing systems feasible P Bhateja, M Mukund 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 4 | 2008 |
Asynchronous test equivalence for probabilistic processes P Bhateja 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 480-484, 2020 | 3 | 2020 |
Asynchronous testing of real-time systems. P Bhateja SCSS, 42-48, 2017 | 3 | 2017 |
Determining asynchronous test equivalence for probabilistic processes P Bhateja Information Processing Letters 177, 106269, 2022 | 2 | 2022 |
A tagging protocol for asynchronous testing P Bhateja 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 2 | 2011 |
A new semantic equivalence for real-time processes P Bhateja Proceedings of the 10th Innovations in Software Engineering Conference, 132-136, 2017 | 1 | 2017 |
Designing Distributed Systems wrt Conformance P Bhateja 2015 Asia-Pacific Software Engineering Conference (APSEC), 104-110, 2015 | 1 | 2015 |
Test Case Generation Using PDA P Bhateja 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 1 | 2011 |
Asynchronous Test Equivalence over Timed Processes P Bhateja International Symposium on Theoretical Aspects of Software Engineering, 114-125, 2023 | | 2023 |
Check for updates Asynchronous Test Equivalence over Timed Processes P Bhateja Theoretical Aspects of Software Engineering: 17th International Symposium …, 2023 | | 2023 |
Probabilistic testing of asynchronously communicating systems P Bhateja 2021 28th Asia-Pacific Software Engineering Conference (APSEC), 503-508, 2021 | | 2021 |
A theoretical framework for testing cyber-physical systems P Bhateja 2019 6th International Conference on Control, Decision and Information …, 2019 | | 2019 |
Local Testing of Message Sequence Charts Is Difficult P Bhateja, MM PaulGastin, KN Kumar Fundamentals of computation theory: 16th international symposium, FCT 2007 …, 2007 | | 2007 |
NLPaSE 2021 Organization S Tiwari, ISS Rathore, IA Sharma, B Wadhwa, L Nautiyal, T Sharma, ... | | |
Formalizing testing for asynchronous communication P Bhateja, P Gastin, M Mukund | | |