204 search results - page 10 / 41 » Parameterizations of Test Cover with Bounded Test Sizes |
92
Voted
LREC
2008
15 years 1 months ago
2008
In this paper we discuss the design, acquisition and preprocessing of a Czech audio-visual speech corpus. The corpus is intended for training and testing of existing audio-visual ...
ICSE
2007
IEEE-ACM
16 years 9 days ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
109
click to vote
DAC
2011
ACM
14 years 10 hour ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
110
click to vote
INFSOF
2007
15 years 3 days ago
2007
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
107
Voted
ASPDAC
1998
ACM
15 years 4 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...