
Registered user since Tue 5 Jan 2021
I did my M.Tech (2011-2013) and Ph.D. (2014-2017) from National Institute of Technology Rourkela, India. I worked as Researcher (Aug 2017 - Jan 2018) in School of Computing, National University Singapore. I worked as Postdoctoral Research Fellow (Feb 2018 to June 2020) in School of Computing, National University Singapore. Currently, I am working as an Assistant Professor in Department of Computer Science and Engineering, National Institute of Technology Warangal, India. I am interested to use program analysis techniques to solve the problems of software testing. Basically I am focusing on MC/DC using Dynamic Symbolic execution. I am a team member of Tracer-X Research group (https://github.com/tracer-x).
Contributions
2025
ICST
- Author of Automated SC-MCC Test Case Generation using Coverage Guided Fuzzing within the Journal-First Papers-track
- Author of Reporting Unique-Cause MC/DC score using Formal Verification within the Posters-track
- Author of Empirical Evaluation of SC-MCC Meta Program Efficiency using Dynamic Symbolic Execution Engine within the Posters-track