Automatic Decomposition for Property-Based-Testing
Master Project of Jim van Vliet

Project Description

This projects aims to desing a principled way of decomposing the complex properties checked by Property-Based-Testing into simpler ones that would make debugging easier for PBT users.

Contacts for the Project

• Andreea Costea