Speciication-based Class Testing: a Case Study Speciication-based Class Testing: a Case Study
暂无分享,去创建一个
[1] David J. Robson,et al. A State-Based Approach to the Testing of Class-Based Programs , 1995, Softw. Concepts Tools.
[2] Jason McDonald,et al. Translating Object-Z specifications to passive test oracles , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[3] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[4] Philip Alan Stocks,et al. Applying formal methods to software testing , 1993 .
[5] Daniel Hoffman,et al. ClassBench: A Methodology and Framework for Automated Class Testing , 1996 .
[6] Susan Stepney. Testing as Abstraction , 1995, ZUM.
[7] David Chenho Kung,et al. Developing an object-oriented software testing and maintenance environment , 1995, CACM.
[8] Heinz Schmidt,et al. Object test coverage using finite state machines , 1995 .
[9] Sigrid Eldh. Software Testing Techniques , 2007 .
[10] Daniel Hoffman,et al. The Testgraph Methodology: Automated Testing of Collection Classes , 1995, J. Object Oriented Program..
[11] Gail C. Murphy,et al. Experiences with class and cluster testing , 1994 .
[12] Phyllis G. Frankl,et al. The ASTOOT approach to testing object-oriented programs , 1994, TSEM.
[13] Leesa Murray,et al. Extending test templates with inheritance , 1997, Proceedings of Australian Software Engineering Conference ASWEC 97.
[14] D. J. Robson,et al. A framework for testing object-oriented programs , 1992 .
[15] Leesa Murray,et al. Formal Derivation of Finite State Machines for Class Testing , 1998, ZUM.
[16] Roger Duke,et al. Object-Z: a specification language advocated for the description of standards , 1995 .
[17] Jeremy Dick,et al. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.
[18] Leesa Murray,et al. Specification-based class testing with ClassBench , 1998, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240).
[19] Hans-Martin Hörcher,et al. Improving Software Tests Using Z Specifications , 1995, ZUM.
[20] Gordon A. Rose,et al. Guidelines for the manual conversion of Object-Z to C , 1993 .
[21] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.