Towards a Property-Based Testing Environment With Applications to Security-Critical Software
暂无分享,去创建一个
Karl N. Levitt | Calvin Ko | Myla Archer | George Fink | K. Levitt | M. Archer | C. Ko | George Fink
[1] Thomas Ball,et al. Slicing Programs with Arbitrary Control-flow , 1993, AADEBUG.
[2] Andrew S. Tanenbaum,et al. Operating systems: design and implementation , 1987, Prentice-Hall software series.
[3] Robyn R. Lutz. Targeting safety-related errors during software requirements analysis , 1993, SIGSOFT '93.
[4] Mark Weiser,et al. Programmers use slices when debugging , 1982, CACM.
[5] TWO-WEEK Loan COpy,et al. University of California , 1886, The American journal of dental science.
[6] Michael Pieper,et al. University of Wisconsin at Madison , 1993 .
[7] Sriram Sankar,et al. Automatic runtime consistency checking and debugging of formally specified programs , 1989 .
[8] R. Dreisbach,et al. STANFORD UNIVERSITY. , 1914, Science.
[9] Sriram Sankar,et al. ADL—an interface definition language for specifying and testing software , 1994 .
[10] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.