Assisted Coverage Closure.

Adam Nellis Pascal Kesseli Philippa Ryan Conmy Daniel Kroening Peter Schrammel Michael Tautschnig

Published in: CoRR (2015)

Keyphrases

databases
information systems
objective function
multi agent
search algorithm
probabilistic model
test suite