An Early Report on Encompass.

Robert B. Terwilliger, Roy H. Campbell

Browse the full ICSE paper archive.