MG
Monika Rani Golla
National Institute of Technology Warangal, National University of Singapore, Visvesvaraya National Institute of Technology, Jawaharlal Nehru Technological University, Hyderabad
Research areas: Computer Science · Software · Software Testing and Debugging Techniques · Formal Methods in Verification · Logic, programming, and type systems
0000-0002-1662-5764
About
My research interests include Software Testing and Program Analysis. Currently, I am working on Automated SC-MCC Test Case Generation using various traditional testing techniques.
Employment
-
National University of Singapore Research Intern2023 - 2023
-
National Institute of Technology Warangal Research Scholar2020 - Present
Education
-
Visvesvaraya National Institute of Technology Master of Technology2016 - 2018
-
Jawaharlal Nehru Technological University Hyderabad Bachelor of Technology2011 - 2015
Projects & Funding
Projects & funding information is unavailable.
Publications (9)
- Poster: Empirical Evaluation of SC-MCC Meta Program Efficiency Using Dynamic Symbolic Execution Engine Save
- Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification Save
- Automated SC-MCC test case generation using coverage-guided fuzzing Save
- UMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing Save
- Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications Save
- gMutant: A gCov based Mutation Testing Analyser Save
- Reporting Code Coverage at Requirement Phase Using SPIN Model Checker Save
- Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC Save
- Automated SC-MCC Test Case Generation Save