Abstract
A property-based testing library enables users to perform lightweight verification of software. This paper presents improvements to the Lazy SmallCheck property-based testing library. Users can now test properties that quantify over first-order functional values and nest universal and existential quantifiers in properties. When a property fails, Lazy SmallCheck now accurately expresses the partiality of the counterexample. These improvements are demonstrated through several practical examples. © 2013 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Reich, J. S., Naylor, M., & Runciman, C. (2013). Advances in lazy SmallCheck. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8241 LNCS, pp. 53–70). https://doi.org/10.1007/978-3-642-41582-1_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
