Sciweavers

Share
TAP
2010
Springer

QuickSpec: Guessing Formal Specifications Using Testing

8 years 8 months ago
QuickSpec: Guessing Formal Specifications Using Testing
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem proving. The main challenge QuickSpec faces is to keep the number of generated equations to a minimum while maintaining completeness. We demonstrate how QuickSpec can improve one's understanding of a program module by exploring the laws that are generated using two case studies: a heap library for Haskell and a fixed-point arithmetic library for Erlang.
Koen Claessen, Nicholas Smallbone, John Hughes
Added 15 Feb 2011
Updated 15 Feb 2011
Type Journal
Year 2010
Where TAP
Authors Koen Claessen, Nicholas Smallbone, John Hughes
Comments (0)
books