Sangharatna Godboley

Softw. Qual. J., September, 2024

Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications.

[BibT_eX]

[DOI]

Expert Syst. Appl., March, 2024

SMUP: A technique to improve MC/DC using specified patterns.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2024

UMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC).

[BibT_eX]

[DOI]

Ritesh Kumar Jha

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Poster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Poster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool.

[BibT_eX]

[DOI]

Debasish Dalei

Ravichandra Sadam

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method.

[BibT_eX]

[DOI]

Shubhank Kulshreshtha

Prayanshu Agarwal

B. Ranilbala

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

SC-MCC: A Stronger Code Coverage Criterion.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Smart Contract Test Case Prioritization based on Frequency and Gas Consumption.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

gMutant: A gCov based Mutation Testing Analyser.

[BibT_eX]

[DOI]

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2023).

[BibT_eX]

[DOI]

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

Carbon-Box Testing.

[BibT_eX]

[DOI]

Sindhu Nenavath

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.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

SmartMuVerf: A Mutant Verifier for Smart Contracts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shorya Pratap Singh Chauhan

J. King Saud Univ. Comput. Inf. Sci., November, 2022

Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique.

[BibT_eX]

[DOI]

Proceedings of the Lean and Agile Software Development - 6th International Conference, 2022

Agility Based Coverage Improvement.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Kanika Gupta

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.

[BibT_eX]

[DOI]

Pisipati Radha Krishna

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.

[BibT_eX]

[DOI]

Saksham Sahai Srivastava

J. Comput. Lang., 2021

MC/DC guided Test Sequence Prioritization using Firefly Algorithm.

[BibT_eX]

[DOI]

Evol. Intell., 2021

MSFL: A Model for Fault Localization Using Mutation-Spectra Technique.

[BibT_eX]

[DOI]

Proceedings of the Lean and Agile Software Development - 5th International Conference, 2021

Toward optimal mc/dc test case generation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020

TracerX: Dynamic Symbolic Execution with Interpolation.

[BibT_eX]

[DOI]

CoRR, 2020

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Validating object-oriented software at design phase by achieving MC/DC.

[BibT_eX]

[DOI]

Suvam Suvabrata Behera

Int. J. Syst. Assur. Eng. Manag., 2019

Enhancing Test Cases generated by Concolic Testing.

[BibT_eX]

[DOI]

Shubham Kumar

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Optimal MC/DC test case generation.

[BibT_eX]

[DOI]

Joxan Jaffar

Rasool Maghareh

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Reduced energy consumption for MC/DC testing.

[BibT_eX]

[DOI]

Int. J. Bus. Inf. Syst., 2018

Scaling modified condition/decision coverage using distributed concolic testing for Java programs.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2018

GECOJAP: A novel source-code preprocessing technique to improve code coverage.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2018

2017

An improved distributed concolic testing approach.

[BibT_eX]

[DOI]

Avijit Das

Softw. Pract. Exp., 2017

A Comparative Analysis of a Novel Anomaly Detection Algorithm with Neural Networks.

[BibT_eX]

[DOI]

Int. J. Rough Sets Data Anal., 2017

Green DRCT: Measuring Energy Consumption of an Enhanced Branch Coverage and Modified Condition/Decision Coverage Technique.

[BibT_eX]

[DOI]

Int. J. Knowl. Discov. Bioinform., 2017

J<sup>3</sup> Model: A novel framework for improved Modified Condition/Decision Coverage analysis.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2017

2016

Making a concolic tester achieve increased MC/DC.

[BibT_eX]

[DOI]

Avijit Das

Innov. Syst. Softw. Eng., 2016

Measuring Branch Coverage for the SOA Based Application Using Concolic Testing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015

ABCE: A Novel Framework for Improved Branch Coverage Analysis.

[BibT_eX]

[DOI]

Arun Sahani

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.

[BibT_eX]

[DOI]

Subhrakanta Panda