1134 search results - page 46 / 227 » Composing Tests from Examples |
138
Voted
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
119
Voted
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
119
Voted
ITC
1997
IEEE
15 years 6 months ago
1997
IEEE
In a fundamental paradigm shift in system design, entire systems are being built on a single chip, using multiple embedded cores. Though the newest system design methodology has s...
149
click to vote
ECCC
2007
15 years 2 months ago
2007
We study graph properties which are testable for bounded degree graphs in time independent of the input size. Our goal is to distinguish between graphs having a predetermined grap...
138
Voted
IJCAI
2003
15 years 4 months ago
2003
We present a description of three different algorithms that use background knowledge to improve text classifiers. One uses the background knowledge as an index into the set of tra...