Combining Behavior and Data Modeling in Automated Test Case Generation. - Patrick J. Schroeder; Eok Kim; Jerry Arshem; Pankaj Bolaki (QSIC, 2003)