2774 search results - page 253 / 555 » Query-Driven Program Testing |
DAC
1998
ACM
16 years 3 months ago
1998
ACM
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...
115
click to vote
MICCAI
2003
Springer
16 years 3 months ago
2003
Springer
Abstract. We present a novel technique where a medical image segmentation system is evolved using genetic programming. The evolved system was trained on just 8 images outlined by a...
118
click to vote
ISMAR
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...
126
Voted
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
111
click to vote
BIOINFORMATICS
2005
15 years 2 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...