1134 search results - page 19 / 227 » Composing Tests from Examples |
78
Voted
LREC
2010
15 years 11 days ago
2010
This paper presents the EPAC corpus which is composed by a set of 100 hours of conversational speech manually transcribed and by the outputs of automatic tools (automatic segmenta...
92
Voted
FSEN
2007
Springer
15 years 2 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
94
Voted
PASTE
2004
ACM
15 years 4 months ago
2004
ACM
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
80
Voted
ICCBR
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
103
Voted
ENTCS
2002
14 years 10 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...