Black Box Unfolding with Local First Search.

Sébastien Bornot Rémi Morin Peter Niebert Sarah Zennou

Published in: TACAS (2002)

Keyphrases

black box
black boxes
search algorithm
white box
artificial intelligence
search space
rule extraction
hybrid systems
databases
search engine
petri net
integration testing
candidate solutions
white box testing
data sets
state transition
solution space
search strategy
case study