Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications.

August Shi Alex Gyori Owolabi Legunsen Darko Marinov

Published in: ICST (2016)

Keyphrases

genetic algorithm
black box
feature selection
high level
finite state automaton
randomized algorithms
multi agent systems
search algorithm
data structure
bayesian networks
database systems
data sets
image segmentation
social networks
artificial intelligence
data mining
real world