Sound black-box checking in the LearnLib.

Jeroen Meijer Jaco van de Pol

Published in: Innov. Syst. Softw. Eng. (2019)

Keyphrases

black box
black boxes
white box
test cases
integration testing
hybrid systems
rule extraction
state transition
white box testing
databases
learning algorithm
intelligent systems