5855 search results - page 43 / 1171 » Test generation and minimization with |
FATES
2006
Springer
15 years 5 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
120
click to vote
PTS
1993
15 years 2 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
106
click to vote
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
110
click to vote
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
111
click to vote
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes an efficient error simulator able to analyze functional VHDL descriptions. The proposed simulation environment can be based on commercial VHDL simulators. Al...