Test ready UML statechart models PVR Murthy, PC Anitha, M Mahesh, R Subramanyan Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 42 | 2006 |
Model-based testing in industry: a case study with two MBT tools M Sarma, PVR Murthy, S Jell, A Ulrich Proceedings of the 5th Workshop on Automation of Software Test, 87-90, 2010 | 37 | 2010 |
Path coverage criterion in specification-based testing based on an extended context-free grammar-based test specification model and a new test generation algorithm PVR Murthy US Patent 7,930,682, 2011 | 21 | 2011 |
Parallel computing with x10 PVR Murthy Proceedings of the 1st international workshop on Multicore software …, 2008 | 11 | 2008 |
Quality model driven dynamic analysis PVR Murthy, S Kumar, T Sharma, K Rao 2011 IEEE 35th Annual Computer Software and Applications Conference, 360-365, 2011 | 5 | 2011 |
Vulnerability coverage criteria for security testing of web applications PVR Murthy, RG Shilpa 2018 International Conference on Advances in Computing, Communications and …, 2018 | 4 | 2018 |
Reliability by Construction using Design by Contract Methodology PVR Murthy Proceedings of the 9th India Software Engineering Conference, 201-202, 2016 | 2 | 2016 |
System and a method for analyzing a piece of code PVR Murthy, D Shetty, K Singi US Patent App. 13/983,505, 2014 | 2 | 2014 |
ESA: the exclusive-similarity algorithm for identifying extract-class refactoring candidates automatically T Sharma, PVR Murthy Proceedings of the 7th India Software Engineering Conference, 1-6, 2014 | 2 | 2014 |
System and method for refactoring a block of software PVR Murthy, T Sharma US Patent App. 13/699,058, 2013 | 2 | 2013 |
Modular safety verification and liveness testing of real-time industrial manufacturing systems using interval assumptions SA Adimoolam, V Choppella, PVR Murthy Technical report, IIIT Hyderabad, IIIT/TR/2014/22, http://web2py. iiit. ac …, 2014 | 1 | 2014 |
Computation and visualization of cause-effect paths A Dubey, P Murthy 2013 8th International Workshop on Automation of Software Test (AST), 139-145, 2013 | 1 | 2013 |
Implementation of speculative parallelism in functional languages PVR Murthy, V Rajaraman IEEE Transactions on Parallel and Distributed Systems 5 (11), 1197-1205, 1994 | 1 | 1994 |
Bio-Molecular Event Extraction Using Classifier Ensemble-of-Ensemble Technique M Bali, PVR Murthy Data Management, Analytics and Innovation, 445-462, 2021 | | 2021 |
Design By Contract Methodology PVR Murthy 2018 International Conference on Advances in Computing, Communications and …, 2018 | | 2018 |
Distributed GUI Test Automation PVR Murthy, A Ulrich 2017 14th IEEE India Council International Conference (INDICON), 1-6, 2017 | | 2017 |
Cause Effect Path Based Coverage Criteria for Testing Buffer Overflow Vulnerability PVR Murthy SASTech-Technical Journal of RUAS 16 (2), 18-21, 2017 | | 2017 |
Efficient Parallel Browsers for Mobile Devices PVR Murthy Proceedings of the 9th India Software Engineering Conference, 198-198, 2016 | | 2016 |
An Exploration into Effective Teaching of Introductory Programming PVR Murthy, A Prabhakar SASTech-Technical Journal of RUAS 14 (2), 13-16, 2015 | | 2015 |
Employing Timed CTL assumptions in modular verification of invariant properties of real time component based systems SA Adimoolam, V Choppella, PVR Murthy | | 2013 |