A Note On the Universality of Black-box MKtP Solvers.

Noam Mazor Rafael Pass

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

black box
black boxes
cellular automata
white box
sat solvers
integration testing
hybrid systems
monitoring system
rule extraction
databases
test cases
artificial intelligence
search space
mobile robot
state space
white box testing