TestMC: Testing Model Counters using Differential and Metamorphic Testing.

Muhammad Usman Wenxi Wang Sarfraz Khurshid

Published in: ASE (2020)

Keyphrases

computational model
neural network
high level
parameter estimation
simulation model
neural network model
conceptual model
em algorithm
mathematical model
formal model
closed form
statistical model
theoretical analysis
object oriented
probabilistic model
prior knowledge
objective function
case study