1994 search results - page 13 / 399 » Limited Software Warranties |
IPPS
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Managing features that have fine-grained impact on base programs is a challenging task in software product line development. Despite well-known problems, preprocessing (e.g., cpp)...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Configurable software lets users customize applications in many ways, and is becoming increasingly prevalent. Regression testing is an important but expensive way to build confide...
APSEC
2000
IEEE
14 years 2 days ago
2000
IEEE
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...
DSN
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with fault...