12 search results - page 3 / 3 » Counterexample Guided Path Reduction for Static Program Anal... |
169
Voted
NDSS
2008
IEEE
16 years 5 days ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
172
Voted
LCTRTS
2009
Springer
16 years 16 days ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...