953 search results - page 70 / 191 » On the Emulation of Software Faults by Software Fault Inject... |
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
IASTEDSEA
2004
14 years 11 months ago
2004
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can ...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...