Using the incremental approach to generate test sets: a case study
暂无分享,去创建一个
[1] Elaine J. Weyuker,et al. Automatically Generating Test Data from a Boolean Specification , 1994, IEEE Trans. Software Eng..
[2] Joseph Robert Horgan,et al. Incremental regression testing , 1993, 1993 Conference on Software Maintenance.
[3] Mary Lou Soffa,et al. An incremental approach to unit testing during maintenance , 1988, Proceedings. Conference on Software Maintenance, 1988..
[4] Bogdan Korel,et al. Black-box test reduction using input-output analysis , 2000, ISSTA '00.
[5] Tsong Yueh Chen,et al. MUMCUT: a fault-based strategy for testing Boolean specifications , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).
[6] Constance L. Heitmeyer,et al. Applying the SCR Requirements Method to the Light Control Case Study , 2000, J. Univers. Comput. Sci..
[7] Mary Jean Harrold,et al. Test-suite reduction and prioritization for modified condition/decision coverage , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.
[8] Nancy G. Leveson,et al. Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..
[9] Tsong Yueh Chen,et al. Dividing Strategies for the Optimization of a Test Suite , 1996, Inf. Process. Lett..
[10] Rajiv Gupta,et al. Employing static information in the generation of test cases , 1993, Softw. Test. Verification Reliab..
[11] Susan Horwitz,et al. Incremental program testing using program dependence graphs , 1993, POPL '93.
[12] Joanne M. Atlee,et al. A logic-model semantics for SCR software requirements , 1996, ISSTA '96.
[13] Steven P. Miller,et al. Applicability of modified condition/decision coverage to software testing , 1994, Softw. Eng. J..
[14] Rajiv Gupta,et al. A methodology for controlling the size of a test suite , 1990, Proceedings. Conference on Software Maintenance 1990.
[15] Shaoying Liu,et al. Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..
[16] Kuo-Chung Tai,et al. Theory of Fault-Based Predicate Testing for Computer Programs , 1996, IEEE Trans. Software Eng..
[17] Elaine J. Weyuker,et al. Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.
[18] Tsong Yueh Chen,et al. Test case selection strategies based on Boolean specifications ‡ , 2001, Softw. Test. Verification Reliab..
[19] Bogdan Korel,et al. Automated Software Test Data Generation , 1990, IEEE Trans. Software Eng..
[20] John Gannon,et al. State-based model checking of event-driven system requirements , 1991, SIGSOFT '91.
[21] Wei-Tek Tsai,et al. Automated Test Case Generation for Programs Specified by Relational Algebra Queries , 1990, IEEE Trans. Software Eng..
[22] Tsong Yueh Chen,et al. A new heuristic for test suite reduction , 1998, Inf. Softw. Technol..