Behavioral-Test Generation using Mixed-Integer Non-linear Programming. - R. S. Ramchandani; Donald E. Thomas (ITC, 1994)