2 search results - page 1 / 1 » Generating and Analyzing Symbolic Traces of Simulink Statefl... |
CAV
2009
Springer
14 years 11 months ago
2009
Springer
FATES
2003
Springer
14 years 4 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) ...