1722 search results - page 101 / 345 » Generating Tests from Counterexamples |
116
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
140
Voted
CCS
2010
ACM
15 years 20 days ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
118
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
117
click to vote
FATES
2005
Springer
15 years 8 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
136
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...