Jaushin Lee Janak H. Patel An architectural level test generator based on nonlinear equation solving. 137-150 1993 4 J. Electronic Testing 2 http://dx.doi.org/10.1007/BF00971643 db/journals/et/et4.html#LeeP93