29 search results - page 5 / 6 » Efficient Software Verification: Statistical Testing Using A... |
WWW
2008
ACM
16 years 5 days ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...
106
click to vote
SIGSOFT
2003
ACM
16 years 7 days ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
101
click to vote
AMOST
2007
ACM
15 years 3 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
111
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
LDTA
2010
14 years 11 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...