Login / Signup
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.
Ambar A. Gadkari
Anand Yeolekar
J. Suresh
S. Ramesh
Swarup Mohalik
K. C. Shashidhar
Published in:
CAV (2008)
Keyphrases
</>
formal model
computational model
information retrieval
probabilistic model
theoretical analysis
linear model
embedded systems
conceptual model
experimental data
statistical model
theoretical framework
markov chain
prior knowledge
multi agent
training data
decision trees
information systems
genetic algorithm