Efficiently Automating Covering Array Generation: A Model Checking and Metaheuristic Algorithm Approach

The cost of software testing is a significant aspect of the software development life cycle, typically accounting for half of the total software production cost. Due to the large number of tests, it is impractical to perform a complete test of a system under test. Combinatorial testing is employed t...

Full description

Saved in:
Bibliographic Details
Main Authors: Sajad Esfandyari, Davar Giveki, Amir Rastegarnia, Ali Farzamnia, Hua Zheng
Format: Article
Language:English
Published: IEEE 2025-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/11075746/
Tags: Add Tag
No Tags, Be the first to tag this record!