Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models.

Mohammad S. Raunak Megan M. Olsen

Published in: MET@ICSE (2021)

Keyphrases

simulation models
simulation model
formal verification
agent based simulation
symbolic execution
test cases
simulation tools
test generation
air cargo
model based testing
model checking
face verification
verification method
data assimilation
neural network
software development
concurrent systems
data sets