Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel. An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. In Proceedings International Test Conference 1986, Washington, D.C., USA, September 1986. pages 732-739, IEEE Computer Society, 1986.
Abstract is missing.