Requirements driven falsification with coverage metrics.

Adel Dokhanchi Aditya Zutshi Rahul T. Sriniva Sriram Sankaranarayanan Georgios Fainekos

Published in: EMSOFT (2015)

Keyphrases

data driven
three dimensional
database
information systems
decision making
bayesian networks
multi agent systems
user interface
sensor networks
object oriented
general purpose
test collection