Specification-based Testing with Simulation Relations (S).

Canh Minh Do Kazuhiro Ogata

Published in: SEKE (2019)

Keyphrases

simulation models
simulation model
qualitative simulation
test case generation
data mining
training set
simulation environment
artificial intelligence
website
database systems
simulation study
mathematical models
formal specification
formal verification