@inproceedings{07134a57bb644560a52c7b252f4df4d3,
title = "A method for estimating minimum sizes of covering arrays avoiding forbidden edges by decomposing graphs",
abstract = "Covering Arrays avoiding Forbidden Edges (CAFEs) can be used to detect interaction faults in Systems Under Tests (SUTs), in which certain combinations of factor values are invalid and forbidden. Finding the minimum size of a CAFE has already been proven to be an NP-hard problem, and lower bounds on minimum sizes of CAFEs have been researched. A lower bound on a minimum size of a CAFE with strength two can simply be expressed as a minimum number of pairs to be covered between any two factors. In this paper, a method of Decomposing Graphs based on Forbidden Edges (DGFEs) is proposed to estimate the minimum sizes of CAFEs. This method improves lower bounds on minimum sizes of CAFEs. Lower bounds can be calculated more accurately by the method with vertex subgraphs, which are decomposed from a simple graph based on a certain forbidden edge. Lower bounds calculated using this method can help to verify whether a size of a generated CAFE can be a reality. The experiment results show the feasibility of the DGFE method to some extent in verifying whether generated CAFEs with explicit sizes can be realities.",
keywords = "Combinatorial testing, Covering arrays, Forbidden edges, Graph decomposing, Lower bounds",
author = "Jingli Yang and Shuangyan Yin and Jianfeng Wang and Shijie Li",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 IEEE International Conference on Information Communication and Software Engineering, ICICSE 2021 ; Conference date: 19-03-2021 Through 21-03-2021",
year = "2021",
month = mar,
day = "19",
doi = "10.1109/ICICSE52190.2021.9404105",
language = "英语",
series = "2021 IEEE International Conference on Information Communication and Software Engineering, ICICSE 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "185--190",
booktitle = "2021 IEEE International Conference on Information Communication and Software Engineering, ICICSE 2021",
address = "美国",
}