Requirements driven falsification with coverage metrics
| Title | Requirements driven falsification with coverage metrics |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos |
| Conference Name | 12th International Conference on Embedded Software (EMSOFT) |
| Keywords | 1350420 |
| Citation Key | DokhanchiEtal2015emsoft |