DATm: Diderot's Automated Testing Model.

Charisee Chiw, Gordon L. Kindlmann, John H. Reppy

Browse the full ICSE paper archive.