DATm: Diderot's Automated Testing Model.

Charisee Chiw Gordon L. Kindlmann John H. Reppy

Published in: AST@ICSE (2017)

Keyphrases

mathematical model
experimental data
formal model
probabilistic model
management system
website
training data
cost function
artificial intelligence
data structure
artificial neural networks
evolutionary algorithm
prior knowledge
simulation model
linear model