5855 search results - page 120 / 1171 » Test generation and minimization with |
231
click to vote
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
104
click to vote
JGTOOLS
2008
15 years 1 months ago
2008
Hierarchical spatial data structures provide a means for organizing data for efficient processing. Most spatial data structures are optimized for performing queries, such as inters...
159
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
127
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
103
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...