Assume-guarantee testing.

Colin Blundell Dimitra Giannakopoulou Corina S. Pasareanu

Published in: SAVCBS@ESEC/FSE (2005)

Keyphrases

real time
data sets
machine learning
computer vision
decision trees
test set
genetic algorithm
three dimensional
learning environment
artificial neural networks
evolutionary algorithm