Aleksandar Milicevic Sasa Misailovic Darko Marinov Sarfraz Khurshid Korat: A Tool for Generating Structurally Complex Test Inputs. 771-774 2007 conf/icse/2007 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.48 db/conf/icse/icse2007.html#MilicevicMMK07