2 search results - page 1 / 1 » Generating and Analyzing Symbolic Traces of Simulink Statefl... |
CAV
2009
Springer
16 years 3 months ago
2009
Springer
129
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...