6800 search results - page 1313 / 1360 » Testing with Functions as Specifications |
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Web image search is inspired by text search techniques; it mainly relies on indexing textual data that surround the image file. But retrieval results are often noisy and image pro...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Acute renal rejection is the most common reason for graft (transplanted kidney) failure after kidney transplantation, and early detection is crucial to survival of function in the...