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