2026 search results - page 121 / 406 » Tools for Test Case Generation |
143
click to vote
NDSS
2008
IEEE
15 years 10 months 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...
125
Voted
ADAEUROPE
2010
Springer
15 years 8 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
144
click to vote
ICECCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
129
Voted
ICALT
2010
IEEE
15 years 3 months ago
2010
IEEE
—Adaptive educational hypermedia allows lessons to be personalized according to the needs of the learner. However, to achieve this, content must be split into stand-alone fragmen...
108
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents 3LSSD, a novel, easilyautomatable approach for scan insertion and ATPG of asynchronous circuits. 3LSSD inserts scan latches only into global circuit feedback p...