Proof-Guided Testing: An Experimental Study.

Guillaume Lussier, Hlne Waeselynck, Karim Guennoun

Browse the full COMPSAC paper archive.