C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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