An empirical framework for comparing effectiveness of testing and property-based formal analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel. An empirical framework for comparing effectiveness of testing and property-based formal analysis. In Michael D. Ernst, Thomas P. Jensen, editors, Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 05, Lisbon, Portugal, September 5-6, 2005. pages 2-5, ACM, 2005. [doi]

This author has not been identified. Look up 'Jeremy S. Bradbury' in GoogleIdentified as James R. Cordy This author has not been identified. Look up 'Jürgen Dingel' in Google

runs on WebDSL