3547 search results - page 556 / 710 » Pseudo-Exhaustive Testing for Software |
152
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
166
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present a novel image classification technique for detecting multiple objects (called subobjects) in a single image. In addition to image classifiers, we apply spatial relati...
177
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
In music information retrieval (MIR), there are two main research directions, which are based either on a folder hierarchy and metadata, or on the actual acoustic content. We beli...
147
click to vote
ESSOS
2010
Springer
16 years 3 months ago
2010
Springer
Protecting users in the ubiquitous online world is becoming more and more important, as shown by web application security – or the lack thereof – making the mainstream news. On...
148
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...