953 search results - page 168 / 191 » On the Emulation of Software Faults by Software Fault Inject... |
131
click to vote
ENTCS
2007
15 years 1 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
108
click to vote
JFP
2010
15 years 10 days ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
106
click to vote
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
108
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...