Automated Boundary Test Generation from JML Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard. Automated Boundary Test Generation from JML Specifications. In Jayadev Misra, Tobias Nipkow, Emil Sekerinski, editors, FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Volume 4085 of Lecture Notes in Computer Science, pages 428-443, Springer, 2006. [doi]

This author has not been identified. Look up 'Fabrice Bouquet' in GoogleThis author has not been identified. Look up 'Frédéric Dadeau' in GoogleThis author has not been identified. Look up 'Bruno Legeard' in Google

runs on WebDSL