WORKSHOP ON SOFTWARE TESTING(Banff "Software testing. Proceedings of the workshop, Banff, Canada, July 15-17, 1986" - New York IEEE Computer Society Press 1986 - viii p. + 181