ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole. ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). In Heike Wehrheim, Jordi Cabot, editors, Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Volume 12076 of Lecture Notes in Computer Science, pages 525-529, Springer, 2020. [doi]

This author has not been identified. Look up 'Mikhail Y. R. Gadelha' in GoogleThis author has not been identified. Look up 'Rafael Menezes' in GoogleThis author has not been identified. Look up 'Felipe R. Monteiro' in GoogleThis author has not been identified. Look up 'Lucas C. Cordeiro' in GoogleThis author has not been identified. Look up 'Denis A. Nicole' in Google

runs on WebDSL