Black-box Complexity of Parallel Search with Distributed Populations.

Golnaz Badkobeh Per Kristian Lehre Dirk Sudholt

Published in: FOGA (2015)

Keyphrases

black box
parallel search
theorem proving
black boxes
white box
neural network
hybrid systems
distributed systems
integration testing
rule extraction
white box testing
artificial intelligence
knowledge base
case study
test cases
state transition