Property-Based Test Case Generators for Free.

Emanuele De Angelis, Fabio Fioravanti, Adrin Palacios, Alberto Pettorossi, Maurizio Proietti

Browse the full TAP paper archive.