1994
Behavioral-Test Generation using Mixed-Integer Non-linear Programming.
[DOI]
R. S. Ramchandani
,
Donald E. Thomas
Proceedings of the Proceedings IEEE International Test Conference 1994, 1994