22 search results - page 4 / 5 » The Effectiveness of Automated Static Analysis Tools for Fau... |
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
TSMC
2010
13 years 2 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
For a space compactor, degradation of fault detection capability caused by the masking effects from unknown values is much more serious than that caused by error masking (i.e. ali...
ICSE
2001
IEEE-ACM
14 years 2 days ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...