From Temporal Models to Property-based Testing.

Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech

Browse the full ENASE paper archive.