11 search results - page 1 / 3 » Reliable Software Systems Design: Defect Prevention, Detecti... |
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
We present new methods to extend data reliability of disks in RAID systems for applications like long term data archival. The proposed solutions extend existing algorithms to detec...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
IPSN
2007
Springer
13 years 11 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...