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