A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Additional access options for the primary version of this work:
E. Bin, R. Emek, G. Shurek, A. Ziv. "Using a constraint satisfaction formulation and solution techniques for random test program generation." IBM Systems Journal 41.3 (2002) 386-402