Test Sequence Generation From Formally Verified SysML Models.

Pierre de Saqui-Sannes Ludovic Apvrille

Published in: Software Engineering (Workshops) (2019)

Keyphrases

statistical models
parameter estimation
complex systems
mathematical models
prior knowledge
probabilistic model
markov random field
metamodel