Korat: A Tool for Generating Structurally Complex Test Inputs.

Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid

Browse the full ICSE paper archive.