8398 search results - page 415 / 1680 » Optimal Software Testing |
178
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
228
click to vote
TSE
2008
15 years 6 months ago
2008
Software defect prediction strives to improve software quality and testing efficiency by constructing predictive classification models from code attributes to enable a timely ident...
173
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...
175
click to vote
WWW
2008
ACM
16 years 7 months 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...
192
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...