Requirements driven falsification with coverage metrics

Adel Dokhanchi, Aditya Zutshi 0001, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios E. Fainekos. Requirements driven falsification with coverage metrics. In 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015. pages 31-40, IEEE, 2015. [doi]

@inproceedings{Dokhanchi0SSF15,
  title = {Requirements driven falsification with coverage metrics},
  author = {Adel Dokhanchi and Aditya Zutshi 0001 and Rahul T. Sriniva and Sriram Sankaranarayanan and Georgios E. Fainekos},
  year = {2015},
  doi = {10.1109/EMSOFT.2015.7318257},
  url = {http://dx.doi.org/10.1109/EMSOFT.2015.7318257},
  researchr = {https://researchr.org/publication/Dokhanchi0SSF15},
  cites = {0},
  citedby = {0},
  pages = {31-40},
  booktitle = {2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015},
  publisher = {IEEE},
  isbn = {978-1-4673-8079-9},
}