932 search results - page 35 / 187 » Software Reliability Engineering: A Roadmap |
SAFECOMP
2009
Springer
14 years 3 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
PLDI
2012
ACM
12 years 1 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
EUROMICRO
2004
IEEE
14 years 2 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...