Complete Properties Extraction from Simulation Traces for Assertions Auto-generation.

Mohamed Hanafy Hazem Said Ayman M. Wahba

Published in: NATW (2015)

Keyphrases

simulation model
desirable properties
database
generation method
knowledge base
topological properties
machine learning
genetic algorithm
learning algorithm
bayesian networks
hidden markov models
mobile robot
information extraction
structural properties
automatically extracted