1376 search results - page 219 / 276 » Model-Driven Software Verification |
127
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We analyze the version history of 7 software systems to predict the most fault prone entities and files. The basic assumption is that faults do not occur in isolation, but rather ...
151
click to vote
CBSE
2009
Springer
16 years 17 days ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
163
click to vote
TRIDENTCOM
2008
IEEE
16 years 11 days ago
2008
IEEE
This paper introduces DRIVE, a reconfigurable demonstrator that will allow for experimental validation of vehicular networking research, as well as proof of concept and realistic ...
126
click to vote
CCS
2007
ACM
16 years 5 days ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
171
click to vote
GECCO
2007
Springer
16 years 4 days ago
2007
Springer
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...