Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin.

Jaco van de Pol Jeroen Meijer

Published in: Models, Mindsets, Meta (2018)

Keyphrases

black box
white box
black boxes
hybrid systems
temporal logic
integration testing
white box testing
model checking
state transition
deterministic automata
data sets
linear temporal logic
rule extraction
linear time temporal logic
finite automata
test cases
case study
decision trees
multimedia
feature selection