4299 search results - page 358 / 860 » Concurrent Test Generation |
136
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
144
click to vote
SAMT
2007
Springer
15 years 11 months ago
2007
Springer
This paper reports on the setup and evaluation of robust speech recognition system parts, geared towards transcript generation for heterogeneous, real-life media collections. The s...
102
click to vote
DATE
1997
IEEE
15 years 9 months ago
1997
IEEE
Two major improvements, controlled fan-in and automated initial-circuit production, were made over the random generator of benchmark circuits presented at DAC'94. This is an ...
150
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
143
Voted
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...