Specifying and Testing Software Components using ADL
暂无分享,去创建一个
[1] Stephen N. Zilles,et al. Specification techniques for data abstractions , 1975 .
[2] Richard G. Hamlet,et al. Data Abstraction, Implementation, Specification, and Testing , 1981, TOPL.
[3] James C. King,et al. A new approach to program testing , 1974, Programming Methodology.
[4] David C. Luckham,et al. A new approach to prototyping Ada-based hardware/software systems , 1990, TRI-Ada '90.
[5] James J. Horning,et al. The Larch Family of Specification Languages , 1985, IEEE Software.
[6] Karl N. Levitt,et al. SELECT—a formal system for testing and debugging programs by symbolic execution , 1975 .
[7] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[8] Elaine J. Weyuker,et al. Theories of Program Testing and the Application of Revealing Subdomains , 1980, IEEE Transactions on Software Engineering.
[9] J. Michael Spivey,et al. Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.
[10] Debra J. Richardson,et al. Specification-based test oracles for reactive systems , 1992, International Conference on Software Engineering.
[11] Olaf Owe,et al. ANNA A Language for Annotating Ada Programs , 1987, Lecture Notes in Computer Science.
[12] B GoodenoughJohn,et al. Toward a theory of test data selection , 1975 .
[13] Sriram Sankar,et al. Automatic runtime consistency checking and debugging of formally specified programs , 1989 .