5159 search results - page 165 / 1032 » Structural Testing of Executables |
210
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
172
click to vote
DFT
2007
IEEE
16 years 1 months ago
2007
IEEE
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
154
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Defect density and defect size distributions (DDSDs) are key parameters used in IC yield loss predictions. Traditionally, memories and specialized test structures have been used t...
132
click to vote
NAACL
1994
15 years 8 months ago
1994
This paper reports results obtained in benchmark tests conducted within the ARPA Spoken Language program in November and December of 1993. In addition to ARPA contractors, partici...
157
click to vote
AAAI
1992
15 years 8 months ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...