Model-Based Testing for General Stochastic Time.

Marcus Gerhold Arnd Hartmanns Mariëlle Stoelinga

Published in: NFM (2018)

Keyphrases

model based testing
database systems
database
databases
real world
feature vectors
open source
petri net