: sanghu@nitw.ac.in : 7013306805
Research Interests: Program Analysis; Software Testing; Fuzzing; Verification; Smart Contracts; Machine Learning
Degrees:
Postdoc (CSE, NUS Singapore, 2020)
Ph. D. (CSE, NIT Rourkela, 2017)
M. Tech. (CSE, NIT Rourkela, 2013)
BE (CSE, GEC Bilaspur, 2011)
Professional Memberships:
IEEE Member
ACM Member
IEI Associate Member
Brief Bio:
I did my M.Tech (2011-2013) and Ph.D. (2014-2017) from National Institute of Technology Rourkela, India. I worked as a Researcher (Aug 2017 - Jan 2018) in the School of Computing, National University Singapore. I worked as a Postdoctoral Research Fellow (Feb 2018 to June 2020) in the School of Computing, National University Singapore. Currently, I am working as an Assistant Professor in the Department of Computer Science and Engineering, National Institute of Technology Warangal, India. Broadly, my area of interests are Program Analysis, Software Testing, Security, Verification, Smart Contracts. Specifically, I am working on Bounded Model Checking, Fuzzing, Dynamic Symbolic Execution (DSE), Mutation Testing, and Combinatorial Testing. I am interested in using program analysis techniques to solve the problems of software testing. I am focusing on Modified Condition / Decision Coverage (MC/DC), Short-circuit Multiple Condition Coverage (SC-MCC), and Relational Operator Replacement (ROR) Mutants. I am a team member of Tracer-X Research group (https://github.com/tracer-x).
Systems/Tools Contributed:
Tracer-X, SSG-AFL, gMCov, AV-AFL, PRFL, KLEEMA, Comp-AFL
Administrative positions:
Course Taught Previously |
Publications |
Journal Publications:
Conference Publications:
PHDs Supervised |
PHDs Supervising/Supervised
1. Ms. Golla Monika Rani, Ph.D. Scholar (Full Time), Area: Automatic Test Case Generation for Short-Circuit Multiple Condition Coverage (SC-MCC) (On-going)
2. Ms. Gundala Shanmukhi Rama, Ph.D. Scholar (Full Time), Area: Software Design and Architecture (Co-Supervisor: Dr. S. Ravichandra) (On-going)
PGs Supervising/Supervised
1. Ms. Sindhu Nenavath, M.Tech Student, Title: Improved Combinatorial Testing. (Class of 2019-2021) (Completed)
2. Mr. Anand Vijay, MCA Student, Title: Testing of Smart Contracts. (Class of 2018-2021) (Completed)
3. & Mr. Swapnil Gupta, MCA Student, Title: Violence Detection for Smart Surveillence System (Class of 2020 - 2021) (Completed)
4. Ms. Kanika Gupta, M.Tech Student, Title: Vulnerability detection analysis using Complete Fuzzing. (Class of 2020-2022) (Completed)
5. Mr. Chandra Shekhar Joshi, MCA Student, Title: Finding Contradictory Statements in E-Contracts (Class of 2019 - 2022) (Co-Supervisor: Prof. P. Radha Krishna) (Completed)
6. Mr. Debasish Dalei, MCA Student, Title: Mobile App Coverage Using Appium Tool (Class of 2019 - 2022) (Completed)
7. Mr. Akshay kumar, MCA Student, Title: Reporting Code Coverage at Requirement Phase using SPIN Model Checker (Class of 2019 - 2022) (Completed)
8. Mr. Himanshu Chaudhary, MCA Student, Title: Code Coverage Analysis and Repairing of Smart Contract (Class of 2019 - 2022) (Main-Supervisor: Prof. P. Radha Krishna) (Completed)
9. Mr. Shantanu Agarwal, MCA Student, Title: Cyclomatic Complexity Analyst for Smart Contract Using Control Flow Graph (Class of 2019 - 2022) (Main-Supervisor: Prof. P. Radha Krishna) (Completed)
UGs Supervising/Supervised
1. Mr. Jaswant Meghwal, Mr. Neeraj Kumar Gond, Mr. Nikhil Kumar, Title: CRG: Condition Rank Generator for Program Repair (Class of 2017-2021) (Completed)
2. Mr. Aryan Armo, Mr. Kapil Khandelwal, Mr. Sameer Jhariya, Title: Using MC/DC to eliminate the Duplicate Neurons in automatic DNN-driven Testing for Autonomous Cars (Class of 2017-2021) (Completed)
3. Mr. Rutwik Dharanappagoudar, Mr. Palash Gupta, Mr. Aniketh Satharla, Title: Cochran–Mantel–Haenszel test-based approach for Fault Localization (Class of 2018-2022) (Completed)
4. Mr. Gaurav Singh, Mr. Pradyumn Atul Shukla, Mr. Rohit Kumar, Title: Measuring Condition Coverage Smart ontracts using Smart Fuzzer (Class of 2018-2022) (Completed)
Workshops/Conferences |
List of Conferences/STCs / Workshops / Tutorials Organized
Projects |
Grants
1. Dr. Sangharatna Godboley, PI ,``Smart Cleaner: Automatic Clean the Smart Contract by Repairing Dead Atomic Conditions", PRAYAS at IBITF, Department of \& Science and Technology (DST), 10/03/2022 - Ongoing, Rs. 26.46 Lakhs, (Co-PI: Prof. P. Radha Krishna)
2. Dr. Sangharatna Godboley, PI ,``Effective Mutation Testing", Research Seed Money (RSM) Plan General Equipment, 17/11/2020 - Ongoing, Rs. 4.8 Lakhs
Startup Company
NITMINER TECHNOLOGIES PRIVATE LIMITED,
CIN: U72900CT2022PTC013375, Since 24/06/2022,
Dr. Sangharatna Godboley, Founder & Director
Prof. P. Radha krishna, Co-Founder & Director
Awards and Honors |
Additional Responsibility |
Member BOS:
1. Board of Studies (BoS) Member , Department of Data Science, G H Raisoni Institute of Engineering and Technology, Nagpur. (From July 2021).
2. Board of Studies (BoS) Member , G H Raisoni Institute of Business Management, Jalgaon, Maharashtra. (From Janunary 2021)
Talks/Tutorials: