Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 -
1 of
1
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
, 2010
"... This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. AT-GPs are complex conditional constraint satisfaction problems which typically feature both hard and soft constraints and very large domains (e.g., all memory addresses). Mor ..."
Abstract
- Add to MetaCart
). Moreover, the goal is to generate a large number of diverse solutions under tight runtime constraints. To improve solution diversity, this paper proposes a novel approach to ATGPs by modeling them as MaxDiversekSet problems and solving them with constraint-based local search over conditional variables
