Effective grey-box testing with partial FSM models.

Robert Sachtleben Jan Peleska

Published in: Softw. Test. Verification Reliab. (2022)

Keyphrases

finite state machines
neural network
database
probabilistic model
machine learning
high quality
complex systems
experimental data
statistical models
accurate models
genetic algorithm
case study
artificial neural networks
software development
mathematical models