Stimuli generation through invariant mining for black-box verification.

Luca Piccolboni Graziano Pravadelli

Published in: VLSI-SoC (2016)

Keyphrases

black box
black boxes
white box
integration testing
web mining
white box testing
state transition
hybrid systems
text mining
test cases
model checking
pattern mining
affine transformation
rule extraction
machine learning
data mining techniques
case study
frequent patterns
monitoring system
itemsets
data mining