1414 search results - page 236 / 283 » Automated Metamorphic Testing |
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. We describe LOCALE, a system that allows cooperating information systems to share labels for photographs. Participating photographs are enhanced with a geographic locatio...
ITICSE
2003
ACM
14 years 29 days ago
2003
ACM
This paper describes a simple Unix-based repository that supports programming intensive courses. Initially motivated by the need to capture sample artifacts for the capstone cours...
ASP
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
EUROCRYPT
2003
Springer
14 years 28 days ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...
ICCBR
2003
Springer
14 years 28 days ago
2003
Springer
CBR applications running in real domains can easily reach thousands of cases, which are stored in the case library. Retrieval times can increase greatly if the retrieval algorithm ...