932 search results - page 87 / 187 » Software Reliability Engineering: A Roadmap |
112
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Exception handling is one of the popular means used for improving dependability and supporting recovery in the ServiceOriented Architecture (SOA). This practical experience paper ...
101
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
100
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
85
Voted
ICSE
2008
IEEE-ACM
16 years 21 days ago
2008
IEEE-ACM
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
116
click to vote
SIGSOFT
2009
ACM
15 years 7 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...