Wen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen. Dynamic validation of programs using assertion checking facilities. In The IEEE Computer Society's Second International Computer Software and Applications Conference, COMPSAC 1978, 13-16 November, 1978, Chicago, Illinois, USA. pages 533-538, IEEE, 1978. [doi]
Abstract is missing.