IEEE Workshop on Simulation & Test Generation Environments (1985 San Francisco, Calif.)