Follow
Murthy PVR
Murthy PVR
Dept of AI & Data Science, Nitte Meenakshi Institute of Technology
Verified email at nmit.ac.in
Title
Cited by
Cited by
Year
Test ready UML statechart models
PVR Murthy, PC Anitha, M Mahesh, R Subramanyan
Proceedings of the 2006 international workshop on Scenarios and state …, 2006
482006
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
422010
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
222011
Vulnerability coverage criteria for security testing of web applications
PVR Murthy, RG Shilpa
2018 International Conference on Advances in Computing, Communications and …, 2018
132018
Parallel computing with x10
PVR Murthy
Proceedings of the 1st international workshop on Multicore software …, 2008
132008
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
82011
System and method for refactoring a block of software
PVR Murthy, T Sharma
US Patent App. 13/699,058, 2013
42013
Precise shared instruction cache analysis to estimate WCET of multi-threaded programs
PPP Dharishini, PVR Murthy
2021 IEEE 18th India Council International Conference (INDICON), 1-7, 2021
32021
Static Analyzer for Computing WCET of Multithreaded Programs using Hoare's CSP
PP Dharishini, PVR Murthy
ACM Innovations in Software Engineering Conference, 2022
2*2022
Bio-Molecular Event Extraction Using Classifier Ensemble-of-Ensemble Technique
M Bali, PVR Murthy
Data Management, Analytics and Innovation: Proceedings of ICDMAI 2020 …, 2021
22021
Design by contract methodology
PVR Murthy
2018 International Conference on Advances in Computing, Communications and …, 2018
22018
Distributed GUI test automation
PVR Murthy, A Ulrich
2017 14th IEEE India Council International Conference (INDICON), 1-6, 2017
22017
Reliability by Construction using Design by Contract Methodology
PVR Murthy
Proceedings of the 9th India Software Engineering Conference, 201-202, 2016
22016
System and a method for analyzing a piece of code
PVR Murthy, D Shetty, K Singi
US Patent App. 13/983,505, 2014
22014
ESA: the exclusive-similarity algorithm for identifying extract-class refactoring candidates automatically
T Sharma, P Murthy
Proceedings of the 7th India Software Engineering Conference, 1-6, 2014
22014
Testing Multi-Threaded Programs by Transformation to Hoare’s CSP
PVR Murthy, N Rani
2022 IEEE 2nd Mysore Sub Section International Conference (MysuruCon), 1-7, 2022
12022
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
12014
Computation and visualization of cause-effect paths
A Dubey, P Murthy
2013 8th International Workshop on Automation of Software Test (AST), 139-145, 2013
12013
Model-based testing in industry: A case study with two mbt tools
P Murthy, S Jell, A Ulrich
12010
Implementation of speculative parallelism in functional languages
PVR Murthy, V Rajaraman
IEEE Transactions on Parallel and Distributed Systems 5 (11), 1197-1205, 1994
11994
The system can't perform the operation now. Try again later.
Articles 1–20