Login / Signup
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation.
Emine Gokce Aydal
Richard F. Paige
Jim Woodcock
Published in:
ICST Workshops (2008)
Keyphrases
</>
model validation
test case generation
real time
databases
neural network
evolutionary algorithm
data model
operating system