Title | ||
---|---|---|
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. |
Abstract | ||
---|---|---|
Covering arrays (CAs) are interesting objects in combinatorics and they also play an important role in software testing. It is a challenging task to generate small CAs automatically and efficiently. In this paper, we propose a new approach which generates a CA column by column. A kind of balancing heuristic is adopted to guide the searching procedure. At each step (column extension), some pseudo Boolean constraints are generated and solved by a PBO solver. A prototype tool is implemented, which turns out to be able to find smaller CAs than other tools, for some cases. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-42911-3_22 | PRICAI |
Field | DocType | Volume |
Heuristic,Computer science,Algorithm,Theoretical computer science,Artificial intelligence,Solver,Machine learning,Software testing | Conference | 9810 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.34 |
References | Authors | |
10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hai Liu | 1 | 1 | 0.34 |
Feifei Ma | 2 | 58 | 13.64 |
Jian Zhang | 3 | 288 | 24.45 |