6800 search results - page 138 / 1360 » Testing with Functions as Specifications |
IJON
2002
13 years 7 months ago
2002
Image content analysis has become an important issue in multimedia processing. Region-based image retrieval systems attempt to reduce the gap between high-level semantics and low-l...
ACL
2012
11 years 10 months ago
2012
In this paper, we propose a web-based bilingual concordancer, DOMCAT 1 , for domain-specific computer assisted translation. Given a multi-word expression as a query, the system in...
VLSID
2000
IEEE
13 years 11 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
ATVA
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...