Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation.

Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen

Browse the full RC paper archive.