6800 search results - page 618 / 1360 » Testing with Functions as Specifications |
198
click to vote
ASWEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
186
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The Heavy Weight Deflectometer (HWD) test is one of the most widely used tests for assessing the structural integrity of airport pavements in a non-destructive manner. The elastic...
186
click to vote
NIPS
2003
15 years 8 months ago
2003
When clustering a dataset, the right number k of clusters to use is often not obvious, and choosing k automatically is a hard algorithmic problem. In this paper we present an impr...
206
click to vote
INTERACT
1997
15 years 8 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
181
Voted
BMCBI
2008
15 years 7 months ago
2008
Background: Discovering overrepresented patterns in amino acid sequences is an important step in protein functional element identification. We adapted and extended NestedMICA, an ...