Requirements driven falsification with coverage metrics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Adel Dokhanchi' in GoogleThis author has not been identified. Look up 'Aditya Zutshi 0001' in GoogleThis author has not been identified. Look up 'Rahul T. Sriniva' in GoogleThis author has not been identified. It may be one of the following persons:

Sriram Sankaranarayanan

Look up 'Sriram Sankaranarayanan' in GoogleThis author has not been identified. Look up 'Georgios E. Fainekos' in Google

runs on WebDSL