%0 Conference Paper %1 conf/icse/MilicevicMMK07 %A Milicevic, Aleksandar %A Misailovic, Sasa %A Marinov, Darko %A Khurshid, Sarfraz %B ICSE %D 2007 %I IEEE Computer Society %K %P 771-774 %T Korat: A Tool for Generating Structurally Complex Test Inputs. %U http://dblp.uni-trier.de/db/conf/icse/icse2007.html#MilicevicMMK07 %@ 0-7695-2828-7

@inproceedings{conf/icse/MilicevicMMK07, added-at = {2023-12-14T16:34:49.000+0100}, author = {Milicevic, Aleksandar and Misailovic, Sasa and Marinov, Darko and Khurshid, Sarfraz}, biburl = {https://www.bibsonomy.org/bibtex/22794c7d9726121b74845c1417b77edf3/admin}, booktitle = {ICSE}, crossref = {conf/icse/2007}, ee = {http://dl.acm.org/citation.cfm?id=1248913}, interhash = {fa166e33196c4fe354baa4b8071cf070}, intrahash = {2794c7d9726121b74845c1417b77edf3}, isbn = {0-7695-2828-7}, keywords = {}, pages = {771-774}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:34:49.000+0100}, title = {Korat: A Tool for Generating Structurally Complex Test Inputs.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2007.html#MilicevicMMK07}, year = 2007 }