Efficiently Automating Covering Array Generation: A Model Checking and Metaheuristic Algorithm Approach - Esfandyari, Sajad; Giveki, Davar; Rastegarnia, Amir; Farzamnia, Ali; Zheng, Hua (IEEE access, 2025)
Keywords: Accuracy; Algorithms; Arrays; biogeography based optimization (BBO); Biological system modeling; Combinatorial analysis; Combinatorial testing; Complex systems; Covering array (CA); Efficiency; genetic algorithm (GA); Genetic algorithms; Grooves; Heuristic methods; Mathematical models; Metaheuristics; Model checking; Parameters; Production costs; Software development; Software testing; Subsystems; Testing