Property-Based Testing and Veri cation: a Catalog of Classroom Examples
Property Driven Development in Erlang, by Example
Generating programs and test properties for validating impact analysis based test selection
Last active
August 10, 2016 16:56
-
-
Save npryce/5813119 to your computer and use it in GitHub Desktop.
Property-Based Testing Papers and Articles
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment