INFT 821 Papers

The papers will not be available at the copy shop, so I have created as many electronic links to PDF and PS versions of the papers as possible. Many of these are on the IEEE and ACM sites, and may not be available from non-GMU computers, and some may be password protected. Here are some instructions that may make it possible to access these even if you are using a non-GMU computer. I will distribute copies of papers as necessary in class.

Please note that this reading list is tentative and may change. Announcements will be made if papers are added or dropped.

JO, 1/19

For the remaining papers, please fill out the review form.

JO, 3/30

To read PDF format format files, you will need Acrobat 3.0.

I. Testing Overview

1. (1/27) Transparencies (PDF) (PS)

   II. Integration and System Testing Problems

2. (2/3) Jeff Offutt and Zhenyi Jin. ``Coupling-based Criteria for Integration Testing''. The Journal of Software Testing, Verification, and Reliability, 8(3):133--154, September 1998. (PDF) (PS)

   III. Object-oriented Test Generation

3. (2/17) D. E. Perry and G. E. Kaiser. ``Adequate Testing and Object-Oriented Programming''. Journal of Object-oriented Programming, Jan/Feb 1990, 2, 13--19. (Perry's papers) (Compressed postscript)
4. (2/3) Donald G. Firesmith. ``Testing Object-oriented Software''. Proceedings of the International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '93), March 1993.
5. (2/17) R. K. Doong and P. G. Frankl. ``The ASTOOT Approach to Testing Object-Oriented Programs''. ACM Transactions on Software Engineering and Methodology, 3(2):101--130, April 1994. (table of contents) (PDF)
6. (2/24) D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima and C. Chen. ``On Object State Testing''. Eighteenth Annual International Computer Software & Applications Conference, IEEE Computer Society Press, Los Alamitos, CA, pg 222-227, 1993. (PDF)
7. (2/24) C. D. Turner and D. J. Robson. ``The State-based Testing of Object-Oriented Programs''. Proceedings of the 1993 IEEE Conference on Software Maintenance (CSM-93), Montreal Quebec, Canada, September, 1993.
8. (3/2) M. J. Harrold and G. Rothermel. ``Performing Data Flow Testing on Classes''. Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, ACM Press, 1994, 154-163. (PDF) (PS)
9. (3/2) H. Y. Chen, T. H. Tse, F. T. Chan, and T. Y. Chen. ``In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs''. ACM Transactions on Software Engineering Methodology, 7(3):250-295, 1998. (table of contents) (PDF)
10. (3/9) Roger Alexander and Jeff Offutt. ``Analysis Techniques for Testing Polymorphic Relationships''. Proceedings of the Thirtieth International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '99), August 1999, Santa Barbara, CA, 104--114. (PDF) (PS)
11. (3/9) Mei-Hwa Chen and Ming-Hung Kao. ``Testing Object-Oriented Programs - An Integrated Approach''. Proceedings of the 10th International Symposium on Software Reliability Engineering, IEEE Computer Society, November 1999, Boca Raton, FL, 73--83. (PDF download from IEEE)

    (3/16) Spring Break

    IV. Specification-based Test Generation

12. (3/23) J. Dick and A. Faivre. ``Automating the Generation and Sequencing of Test Cases from Model-based Specifications''. Proceedings of FME '93: Industrial-Strength Formal Methods, Springer-Verlag Lecture Notes in Computer Science Volume 670, 1993, Odense Denmark, 268--284.
13. (3/23) P. Stocks and D. Carrington. ``A Framework for Specification-based Testing''. IEEE Transactions on Software Engineering, 22(11):777--793, November 1996. (PDF download from IEEE, requires password) Abstract Journal TOC
14. (3/30) E. Weyuker and T. Goradia and A. Singh. ``Automatically Generating Test Data from a Boolean Specification''. IEEE Transactions on Software Engineering, 20(5):353--363, May 1994.
15. (3/30) M. Blackburn and R. Busser. ``Automatic Generation of Test Vectors for SCR-Style Specifications''. Proceedings of the 1997 Annual Conference on Computer Assurance (COMPASS 97), IEEE Computer Society Press, June 1997, Gaithersburg MD 54-67.
16. (4/6) Jeff Offutt, Yiwei Xiong and Shaoying Liu. ``Criteria for Generating Specification-based Tests''. Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), Las Vegas NV, October 1999, 119-131. (PDF) (PS)
17. (4/6) J. Chang and D. Richardson. ``Structural Specification-based Testing with ADL''. Proceedings of the 1996 International Symposium on Software Testing, and Analysis, ACM Press, January 1996, San Diego CA, 62--70. (table of contents) (PDF)
18. (4/20) P. Ammann and P. Black. ``A Specification-Based Coverage Metric to Evaluate Test Sets''. HASE '99: Proceedings of the 4th IEEE International Symposium on High-Assurance Systems, pages 239-248, Washington, DC, November 1999. (Abstract --> PS)
19. (4/20) Ronald W. Ritchey and Paul Ammann. ``Using Model Checking to Analyze Network Vulnerabilities''. Proceedings 2000 IEEE Computer Society Symposium on Security and Privacy, Oakland, CA, May 2000. To Appear. (PDF) (PS)

    V. Architecture-based Test Generation

20. (4/13) D. J. Richardson and A. L. Wolf. ``Software Testing at the Architectural Level''. Proceedings of the Second International Software Architecture Workshop, October 1996, San Francisco CA, 68--71. (Compressed Postscript)
21. (4/13) Jeff Offutt and Aynur Abdurazik. ``Generating Tests from UML Specifications''. Second International Conference on the Unified Modeling Language (UML '99), Fort Collins CO, October 1999, 416--429. (PDF) (PS)
22. (4/20) Aynur Abdurazik. ``Suitability of the UML as an Architecture Description Languages with Applications to Testing''. Technical Report ISE-TR-00-01, Department of Information and Software Engineering, George Mason University, February 2000. (PDF) (PS)

    VI. Student Presentations

23. (4/27)
24. (5/5)