Exploring the Link Between Test Suite Quality and Automatic Specification Inference.

Luke Chircop Christian Colombo Mark Micallef

Published in: PrePost@iFM (2017)

Keyphrases

test suite
test case generation
test cases
regression testing
semi automatic
neural network
static analysis
fully automatic
bayesian networks
high quality
high level
video sequences
probabilistic inference
inference engine
formal specification
training data
test sequences
social networks
database
mutation testing