Gmutant: A gcov based mutation testing analyser
MR Golla, S Godboley - Proceedings of the 16th Innovations in Software …, 2023 - dl.acm.org
gMutant is a novel mutation analyser to measure the quality of test cases. It is based on
gCov. The existing gCov outputs code coverage (line and branch). Here, we scale it up in …
gCov. The existing gCov outputs code coverage (line and branch). Here, we scale it up in …
A Review of the Applications of Heuristic Algorithms in Test Case Generation Problem
H Guan, D Li, H Li, M Zhao… - 2024 IEEE 24th …, 2024 - ieeexplore.ieee.org
This paper reviews the state-of-the-art heuristic-based methods in test case generation,
analyzing the technical characteristics of these technologies. By conducting a thorough …
analyzing the technical characteristics of these technologies. By conducting a thorough …
Automated SC-MCC test case generation using coverage-guided fuzzing
MR Golla, S Godboley - Software Quality Journal, 2024 - Springer
One of the main objectives of testing is to achieve adequate code coverage. Modern code
coverage standards suggest MC/DC (Modified Condition/Decision Coverage) instead of …
coverage standards suggest MC/DC (Modified Condition/Decision Coverage) instead of …
Is MCDC Really Better? Lessons from Combining Tests and Proofs
Abstract MCDC, for “Modified Condition/Decision Coverage”, is a test coverage criterion
recommended in several important industrial software safety standards. The intuition behind …
recommended in several important industrial software safety standards. The intuition behind …
CMHFL: A new Fault Localization technique based on Cochran–Mantel–Haenszel method
R Dharanappagoudar, P Gupta… - 2022 IEEE 19th India …, 2022 - ieeexplore.ieee.org
As modern software systems are large and complex, manually debugging software has
become excessively expensive, time-consuming, boring, and error-prone. We present a …
become excessively expensive, time-consuming, boring, and error-prone. We present a …
PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method
S Godboley, S Kulshreshtha, P Agarwal… - 2023 IEEE 23rd …, 2023 - ieeexplore.ieee.org
Fault localization is an important step in the debugging process, as it targets to identify the
root cause of failures in software systems. Despite the existence of several techniques and …
root cause of failures in software systems. Despite the existence of several techniques and …
SC-MCC: A Stronger Code Coverage Criterion
S Godboley, MR Golla… - 2023 IEEE 23rd …, 2023 - ieeexplore.ieee.org
White-box testing typically involves structural code coverage criteria that measure the extent
to which a program's source code has been tested. To efficiently generate test cases while …
to which a program's source code has been tested. To efficiently generate test cases while …