Property Based Developer Testing

Session at CITCONNA2013Sessions

Proposed by Paul Holser

Literature

• Property Based TDD at SPA 2013
• The Practice of Theories: Adding "For-all" Statements to "There-exists" tests
• Property based testing for domain models
• Property-based testing: What is it?
• Real World Haskell: testing and quality assurance
• Beyond xUnit exampled-based testing: property-based testing with ScalaCheck
• Property-Based Testing Tools
• Theory-infected: Or How I Learned to Stop Worrying and Love Universal Quantification

Tooling:

Java

• junit-quickcheck
• QuickCheck
• JCheck

Scala

• ScalaCheck

Python

• Hypothesis
• qc

Ruby

• rushcheck
• rantly

Haskell

• QuickCheck

Erlang

• ProTest