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

Sangharatna Godboley

2023

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.

Paper Citation

in Harvard Style

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 - Volume 1: ENASE, ISBN 978-989-758-647-7, SciTePress, pages 306-313. DOI: 10.5220/0011758700003464

in Bibtex Style

@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 - Volume 1: ENASE,},
year={2023},
pages={306-313},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011758700003464},
isbn={978-989-758-647-7},
}

in EndNote Style

TY - CONF

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