Property-Based Mutation Testing.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Browse the full ICST paper archive.