Login / Signup
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
Prakash Peranandam
Sachin Raviram
Manoranjan Satpathy
Anand Yeolekar
Ambar A. Gadkari
S. Ramesh
Published in:
DATE (2012)
Keyphrases
</>
test generation
artificial intelligence
high quality
probabilistic model
high level
database systems
control system
life cycle