An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation.

Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel

Browse the full ITC paper archive.