58 search results - page 1 / 12 » Automated black-box testing of functional correctness using ... |
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
STOC
1991
ACM
13 years 8 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
GIS
2006
ACM
14 years 5 months ago
2006
ACM
Location information gathered from a variety of sources in the form of sensor data, video streams, human observations, and so on, is often imprecise and uncertain and needs to be ...
SAC
2003
ACM
13 years 10 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Correlation Clustering was defined by Bansal, Blum, and Chawla as the problem of clustering a set of elements based on a possibly inconsistent binary similarity function between e...