Creating a Flexible Property-Based Testing Paradigm

Developing database integrated random testing tools

An Evaluation Platform for Property-Based Testing