5159 search results - page 48 / 1032 » Structural Testing of Executables |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
ITC
2003
IEEE
14 years 4 months ago
2003
IEEE
Many of the semiconductor technologies are already facing limitations while new-generation data and telecommunication systems are implemented. Although in its infancy, superconduc...
AES
2008
Springer
13 years 11 months ago
2008
Springer
The paper summarises the ambient vibration-based assessment of an historic suspension footbridge, dating back to 1928. The footbridge is characterised by the timber floor system s...
ATS
1998
IEEE
14 years 3 months ago
1998
IEEE
Since Field programmable gate arrays (FPGAs) are reprogrammable, faults in them can be easily toleruted once fault sites are located. Previous researches on diagnosis of FPGAs mai...
FMICS
2008
Springer
14 years 17 days ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...