Sangharatna Godboley

Orcid: 0000-0002-6169-6334

Affiliations:
  • National Institute of Technology (NIT), DOS Lab, Rourkela, India


According to our database1, Sangharatna Godboley authored at least 41 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications.
Expert Syst. Appl., March, 2024

Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC).
Proceedings of the 17th Innovations in Software Engineering Conference, 2024

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023
Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

SC-MCC: A Stronger Code Coverage Criterion.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Smart Contract Test Case Prioritization based on Frequency and Gas Consumption.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

gMutant: A gCov based Mutation Testing Analyser.
Proceedings of the 16th Innovations in Software Engineering Conference, 2023

2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2023).
Proceedings of the 16th Innovations in Software Engineering Conference, 2023

Carbon-Box Testing.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

SmartMuVerf: A Mutant Verifier for Smart Contracts.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022
BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases.
J. King Saud Univ. Comput. Inf. Sci., November, 2022

Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique.
Proceedings of the Lean and Agile Software Development - 6th International Conference, 2022

Agility Based Coverage Improvement.
Proceedings of the Lean and Agile Software Development - 6th International Conference, 2022

Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

AV-AFL: A Vulnerability Detection Fuzzing Approach by Proving Non-reachable Vulnerabilities using Sound Static Analyser.
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

SSG-AFL: Vulnerability detection for Reactive Systems using Static Seed Generator based AFL.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021
Combi-FL: Neural network and SBFL based fault localization using mutation analysis.
J. Comput. Lang., 2021

MC/DC guided Test Sequence Prioritization using Firefly Algorithm.
Evol. Intell., 2021

MSFL: A Model for Fault Localization Using Mutation-Spectra Technique.
Proceedings of the Lean and Agile Software Development - 5th International Conference, 2021

Toward optimal mc/dc test case generation.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020
TracerX: Dynamic Symbolic Execution with Interpolation.
CoRR, 2020

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Validating object-oriented software at design phase by achieving MC/DC.
Int. J. Syst. Assur. Eng. Manag., 2019

Enhancing Test Cases generated by Concolic Testing.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Optimal MC/DC test case generation.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Reduced energy consumption for MC/DC testing.
Int. J. Bus. Inf. Syst., 2018

Scaling modified condition/decision coverage using distributed concolic testing for Java programs.
Comput. Stand. Interfaces, 2018

GECOJAP: A novel source-code preprocessing technique to improve code coverage.
Comput. Stand. Interfaces, 2018

2017
An improved distributed concolic testing approach.
Softw. Pract. Exp., 2017

A Comparative Analysis of a Novel Anomaly Detection Algorithm with Neural Networks.
Int. J. Rough Sets Data Anal., 2017

Green DRCT: Measuring Energy Consumption of an Enhanced Branch Coverage and Modified Condition/Decision Coverage Technique.
Int. J. Knowl. Discov. Bioinform., 2017

J<sup>3</sup> Model: A novel framework for improved Modified Condition/Decision Coverage analysis.
Comput. Stand. Interfaces, 2017

2016
Making a concolic tester achieve increased MC/DC.
Innov. Syst. Softw. Eng., 2016

Measuring Branch Coverage for the SOA Based Application Using Concolic Testing.
Proceedings of the Advances in Computing and Data Sciences, 2016

Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs.
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015
ABCE: A Novel Framework for Improved Branch Coverage Analysis.
Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015

SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing.
Proceedings of the Distributed Computing and Internet Technology, 2015

2013
HCDLST: An Indexing Technique for Current and Recent-Past Sliding Window Spatio-Temporal Data.
Proceedings of the Intelligent Computing, 2013


  Loading...