( en | de | ru )

 

Disambiguation of "Godboley, Sangharatna"

Author of the publication

copydeleteadd this publication to your clipboard
Scaling modified condition/decision coverage using distributed concolic testing for Java programs.

, , , and . Comput. Stand. Interfaces, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Godboley, Sangharatna
add a person with the name Godboley, Sangharatna
 

Other publications of authors with the same name

SC-MCC: A Stronger Code Coverage Criterion., , and . QRS Companion, page 62-71. IEEE, (2023)Smart Contract Test Case Prioritization based on Frequency and Gas Consumption., , , , and . QRS Companion, page 290-299. IEEE, (2023)Toward optimal mc/dc test case generation., , , and . ISSTA, page 505-516. ACM, (2021)Optimal MC/DC test case generation., , and . ICSE (Companion Volume), page 288-289. IEEE / ACM, (2019)gMutant: A gCov based Mutation Testing Analyser., and . ISEC, page 22:1-22:5. ACM, (2023)An improved distributed concolic testing approach., , , and . Softw. Pract. Exp., 47 (2): 311-342 (2017)Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications., and . Expert Syst. Appl., 238 (Part F): 122033 (March 2024)Carbon-Box Testing., , and . ENASE, page 314-321. SCITEPRESS, (2023)VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing.. ENASE, page 306-313. SCITEPRESS, (2023)TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)., , , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 320-325. Springer, (2024)