R. S. Ramchandani, Donald E. Thomas. Behavioral-Test Generation using Mixed-Integer Non-linear Programming. In Proceedings IEEE International Test Conference 1994, TEST: The Next 25 Years, Washington, DC, USA, October 2-6, 1994. pages 958-967, IEEE Computer Society, 1994.
Abstract is missing.