PVR Murthy
PVR Murthy
Professor of Computer Science and Engineering, Ramaiah University
Verified email at msruas.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
422006
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
372010
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
212011
Parallel computing with x10
PVR Murthy
Proceedings of the 1st international workshop on Multicore software …, 2008
112008
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
52011
Vulnerability coverage criteria for security testing of web applications
PVR Murthy, RG Shilpa
2018 International Conference on Advances in Computing, Communications and …, 2018
42018
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, PVR Murthy
Proceedings of the 7th India Software Engineering Conference, 1-6, 2014
22014
System and method for refactoring a block of software
PVR Murthy, T Sharma
US Patent App. 13/699,058, 2013
22013
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
Implementation of speculative parallelism in functional languages
PVR Murthy, V Rajaraman
IEEE Transactions on Parallel and Distributed Systems 5 (11), 1197-1205, 1994
11994
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
The system can't perform the operation now. Try again later.
Articles 1–20