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]
No reviews for this publication, yet.