Author: Automatic Test Program Generation Workshop (3rd 1983 San Francisco, Calif.)