932 search results - page 65 / 187 » Software Reliability Engineering: A Roadmap |
144
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Control software in routers have gotten increasingly complex today. Further, since the control software runs in every router, managing a large network of routers is com...
132
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
We introduce Re-FUSE, a framework that provides support for restartable user-level file systems. Re-FUSE monitors the user-level file-system and on a crash transparently restart...
127
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
150
click to vote
CSMR
2008
IEEE
15 years 5 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
126
click to vote
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...