Residual test coverage monitoring
暂无分享,去创建一个
[1] David C. Luckham,et al. An Overview of Anna, a Specification Language for Ada , 1985, IEEE Software.
[2] Elaine J. Weyuker,et al. Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.
[3] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[4] Sriram Sankar,et al. Concurrent Runtime Checking of Annotated Ada Programs , 1986, FSTTCS.
[5] Elaine J. Weyuker,et al. An Applicable Family of Data Flow Testing Criteria , 1988, IEEE Trans. Software Eng..
[6] David S. Rosenblum. Specifying concurrent systems with TSL , 1991, IEEE Software.
[7] David S. Rosenblum. Towards A Method Of Programming With Assertions , 1992, International Conference on Software Engineering.
[8] Hiralal Agrawal,et al. Dominators, super blocks, and program coverage , 1994, POPL '94.
[9] Sriram Sankar,et al. Specifying and Testing Software Components using ADL , 1994 .
[10] James R. Larus,et al. EEL: machine-independent executable editing , 1995, PLDI '95.
[11] David S. Rosenblum. A Practical Approach to Programming With Assertions , 1995, IEEE Trans. Software Eng..
[12] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .
[13] James R. Larus,et al. Efficient path profiling , 1996, Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29.
[14] Troy Downing,et al. Java Virtual Machine , 1997 .
[15] Benjamin G. Zorn,et al. BIT: A Tool for Instrumenting Java Bytecodes , 1997, USENIX Symposium on Internet Technologies and Systems.
[16] Alec Wolman,et al. Instrumentation and optimization of Win32/intel executables using Etch , 1997 .
[17] Han Bok Lee,et al. BIT: BYTECODE INSTRUMENTING TOOL , 1997 .
[18] Oscar Naim,et al. MDL: a language and compiler for dynamic program instrumentation , 1997, Proceedings 1997 International Conference on Parallel Architectures and Compilation Techniques.
[19] Premkumar T. Devanbu,et al. Cryptographic verification of test coverage claims , 1997, ESEC '97/FSE-5.
[20] Christina Pavlopoulou. RESIDUAL COVERAGE MONITORING OF JAVA PROGRAMS , 1998 .