2026 search results - page 215 / 406 » Tools for Test Case Generation |
126
click to vote
BIOINFORMATICS
2005
15 years 4 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
165
click to vote
MIE
2008
15 years 5 months ago
2008
Medical visual information retrieval has been a very active research area over the past ten years as an increasing amount of images is produced digitally and made available in the ...
136
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
124
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
181
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...