2774 search results - page 150 / 555 » Query-Driven Program Testing |
128
click to vote
PPPJ
2003
ACM
15 years 7 months ago
2003
ACM
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
ICEC
1994
15 years 3 months ago
1994
:Rule-basedsystemsused for OpticalCharacterRecognition (OCR)are notoriously difficultto write,maintain,and upgrade. Thispaperdescribesa method forusing Genetic Programming(GP) to e...
149
Voted
ML
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we present the system ALLPAD for learning Logic Programs with Annotated Disjunctions (LPADs). ALLPAD modifies the previous system LLPAD in order to tackle real world ...
115
Voted
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...
112
Voted
RE
2001
Springer
15 years 6 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...