Tutorial: Static Analysis and Dynamic Testing of Computer Software
作者： R.E. Fairley
关键词:
摘要: … Fairley is an associate professor of computer science at Colorado State University. He has worked in industry and has taught at UCLA, the University of Colorado, Texas A & M University…
computer.org
sci-hub.se 参考文章(9)
T.J. McCabe, A Complexity Measure IEEE Transactions on Software Engineering. ,vol. SE-2, pp. 308- 320 ,(1976) , 10.1109/TSE.1976.233837
Richard E. Fairley, An experimental program-testing facility IEEE Transactions on Software Engineering. ,vol. SE-1, pp. 350- 357 ,(1975) , 10.1109/TSE.1975.6312864
James C. King, Symbolic execution and program testing Communications of The ACM. ,vol. 19, pp. 385- 394 ,(1976) , 10.1145/360248.360252
Lloyd D. Fosdick, Leon J. Osterweil, Data Flow Analysis in Software Reliability ACM Computing Surveys. ,vol. 8, pp. 305- 330 ,(1976) , 10.1145/356674.356676
Barbara Liskov, Stephen Zilles, Programming with abstract data types Sigplan Notices. ,vol. 9, pp. 50- 59 ,(1974) , 10.1145/800233.807045
F. E. Allen, J. Cocke, A program data flow analysis procedure Communications of the ACM. ,vol. 19, pp. 137- 147 ,(1976) , 10.1145/360018.360025
Edward Yourdon, The choice of new software development methodologies for software development projects Proceedings of the June 13-16, 1977, national computer conference on - AFIPS '77. pp. 261- 265 ,(1977) , 10.1145/1499402.1499447
R. Dean Hartwick, Test planning Proceedings of the June 13-16, 1977, national computer conference on - AFIPS '77. pp. 285- 294 ,(1977) , 10.1145/1499402.1499451
Barbara Liskov, Stephen Zilles, Programming with abstract data types Sigplan Notices. ,(1974) , 10.1145/942572.807045