6800 search results - page 241 / 1360 » Testing with Functions as Specifications |
114
click to vote
IJEB
2010
15 years 2 months ago
2010
: Shopping bots are automated software applications that allow consumers to easily search for and compare product prices from online retailers. In a previous project, researchers i...
109
click to vote
ATS
2003
IEEE
15 years 10 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
120
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...
132
click to vote
ICDAR
2007
IEEE
15 years 11 months ago
2007
IEEE
We model on-line ink traces for a set of 219 symbols to “best fit” low-degree polynomial series. Using a collection of mathematical writing samples, we find that in many cas...
157
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
The performance of autocorrelation-based metre induction was tested with two large collections of folk melodies, consisting of approximately 13,000 melodies in MIDI file format, f...