VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing

Sangharatna Godboley

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing

Topics: Quality Assurance; Safety, Security and Compliance; Software and System Testing

In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 306-313, 2023 , Prague, Czech Republic

Author: Sangharatna Godboley

Affiliation: Department of Computer Science and Engineering, National Institute of Technology Warangal, Telangana, India

Keyword(s): Verification, Combinatorial Testing, Test Cases, Mutation Analysis.

Abstract: We propose VeriCombTest which is the combination of Verification and Combinatorial Testing. We experimented with 38 C-Programs from The RERS challenge repository. Verification (CBMC) produced 940 test cases and Combinatorial Testing (PICT) populated a total of 42053 test cases. The good point is that for 40 programs, PICT consumed only 2.6 Minutes to populate the test inputs, however, CBMC which is a Static Symbolic Executor consumed 546.99 Minutes to generate the test inputs. We performed mutation analysis for this work. VeriCombTest has 355 extra killed mutants as compared to the baseline. VeriCombTest is a fully automated tool.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.221.178.214

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Godboley, S. (2023). VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-647-7; ISSN 2184-4895, SciTePress, pages 306-313. DOI: 10.5220/0011758700003464

@conference{enase23,
author={Sangharatna Godboley.},
title={VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2023},
pages={306-313},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011758700003464},
isbn={978-989-758-647-7},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing
SN - 978-989-758-647-7
IS - 2184-4895
AU - Godboley, S.
PY - 2023
SP - 306
EP - 313
DO - 10.5220/0011758700003464
PB - SciTePress