| emsoft | participants

Adel Dokhanchi

EMSOFT 2015: 15th International Conference on Embedded Software

Requirements Driven Falsification with Coverage Metrics

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