Milicevic, et al.. Korat: A Tool for Generating Structurally Complex Test Inputs. IEEE, 2007, doi:10.1109/icse.2007.48.