1422 search results - page 5 / 285 » Test Generation Algorithms Based on Preorder Relations |
113
click to vote
ENTCS
2007
14 years 9 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
VLSID
1993
IEEE
15 years 1 months ago
1993
IEEE
This paper discusses a Genetic Algorithm-based method of generating test vectorsfor detecting faults in combinational circuits. The GA-based approach combines the merits of two te...
70
Voted
DAC
1991
ACM
15 years 1 months ago
1991
ACM
ITC
1994
IEEE
15 years 1 months ago
1994
IEEE
FMCO
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...