112 search results - page 16 / 23 » Software Defect Detection with Rocus |
127
Voted
CLEIEJ
2007
15 years 3 months ago
2007
The term “Self-healing” denotes the capability of a software system in dealing with bugs. Fault tolerance for dependable computing is to provide the specified service through ...
122
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
142
Voted
OOPSLA
2010
Springer
15 years 2 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 ...
131
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
117
Voted
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...