Black-Box Accumulation Based on Lattices.

Sebastian H. Faller Pascal Baumer Michael Klooß Alexander Koch Astrid Ottenhues Markus Raiber

Published in: IMACC (2021)

Keyphrases

black box
black boxes
white box
rule extraction
white box testing
hybrid systems
test cases
state transition
rough sets
integration testing