An empirical study of the reliability of UNIX utilities
暂无分享,去创建一个
[1] Edsger W. Dijkstra,et al. Letters to the editor: go to statement considered harmful , 1968, CACM.
[2] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.
[3] Edsger W. Dijkstra,et al. Go To Statement Considered Harmful , 2022, Software Pioneers.
[4] Donn Seeley,et al. A Tour of the Worm , 1988 .
[5] Randy H. Katz,et al. Verifying a Multiprocessor Cache Controller Using Random Case , 1989 .
[6] Jon A. Rochlis,et al. With microscope and tweezers: the worm from MIT's perspective , 1989, Commun. ACM.
[7] Eugene H. Spafford,et al. The internet worm: crisis and aftermath , 1989 .
[8] Eugene H. Spafford,et al. Crisis and aftermath , 1989, Commun. ACM.
[9] Randy H. Katz,et al. Verifying a multiprocessor cache controller using random test generation , 1990, IEEE Design & Test of Computers.
[10] Yasubumi Sakakibara,et al. Efficient Learning of Context-Free Grammars from Positive Structural Examples , 1992, Inf. Comput..