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]

Abstract

Abstract is missing.