Effective grey-box testing with partial FSM models.

Robert Sachtleben Jan Peleska

Published in: CoRR (2021)

Keyphrases

finite state machines
accurate models
real time
high quality
probabilistic model
bayesian framework
multiscale
neural network
real world
computer vision
software engineering