Foundational property-based testing
Integrating property-based testing with a proof assistant creates an interesting opportunity:
reusable or tricky testing code can be formally verified using the proof assistant itself. In this …
reusable or tricky testing code can be formally verified using the proof assistant itself. In this …
Beginner's luck: a language for property-based generators
L Lampropoulos, D Gallois-Wong, C Hriţcu… - Proceedings of the 44th …, 2017 - dl.acm.org
Property-based random testing à la QuickCheck requires building efficient generators for
well-distributed random data satisfying complex logical predicates, but writing these …
well-distributed random data satisfying complex logical predicates, but writing these …
Generating good generators for inductive relations
L Lampropoulos, Z Paraskevopoulou… - Proceedings of the ACM …, 2017 - dl.acm.org
Property-based random testing (PBRT) is widely used in the functional programming and
verification communities. For testing simple properties, PBRT tools such as QuickCheck can …
verification communities. For testing simple properties, PBRT tools such as QuickCheck can …
EasyCheck—test data for free
J Christiansen, S Fischer - International Symposium on Functional and …, 2008 - Springer
We present a lightweight, automated tool for specification-based testing of declarative
programs written in the functional logic programming language Curry and emphasize the …
programs written in the functional logic programming language Curry and emphasize the …
Programming with narrowing: A tutorial
S Antoy - Journal of Symbolic Computation, 2010 - Elsevier
Narrowing is a computation implemented by some declarative programming languages.
Research in the last decade has produced significant results on the theory and foundation of …
Research in the last decade has produced significant results on the theory and foundation of …
FlinkCheck: property-based testing for apache flink
CV Espinosa, E Martin-Martin, A Riesco… - IEEE …, 2019 - ieeexplore.ieee.org
Apache Flink is an open-source, soft real-time stream processing framework underlying
many modern systems dealing with cloud and real-time computing, data analytics, and the …
many modern systems dealing with cloud and real-time computing, data analytics, and the …
Purely functional lazy nondeterministic programming
S Fischer, O Kiselyov, C Shan - Journal of Functional programming, 2011 - cambridge.org
Functional logic programming and probabilistic programming have demonstrated the broad
benefits of combining laziness (nonstrict evaluation with sharing of the results) with …
benefits of combining laziness (nonstrict evaluation with sharing of the results) with …
Purely functional lazy non-deterministic programming
S Fischer, O Kiselyov, C Shan - Proceedings of the 14th ACM SIGPLAN …, 2009 - dl.acm.org
Functional logic programming and probabilistic programming have demonstrated the broad
benefits of combining laziness (non-strict evaluation with sharing of the results) with non …
benefits of combining laziness (non-strict evaluation with sharing of the results) with non …
Smart testing of functional programs in Isabelle
L Bulwahn - International Conference on Logic for Programming …, 2012 - Springer
We present a novel counterexample generator for the interactive theorem prover Isabelle
based on a compiler that synthesizes test data generators for functional programming …
based on a compiler that synthesizes test data generators for functional programming …