Syllabus Papers My Home Page

INFT 824: Analysis of Software for Testing
INFT 821 -- Special Topics in Software Engineering
Reading List -- Fall 1999
Jeff Offutt

    I. BACKGROUND

  1. Shari Lawrence Pfleeger, ``Guidelines for Applying Research Results'', IEEE Software, V. 14, N. 3, May/June 1997, 102--104.
  2. Testing concepts (transparencies).
  3. Parsing -- ``The Unix Programming Environment'', Kernighan and Pike, Ch. 8, pp 234 -- 240.

    II. SOFTWARE REPRESENTATION METHODS

    A. Control flow graphs

  4. Transparencies.
  5. R. Ferguson and B. Korel, ``The Chaining Approach for Software Test Data Generation'', ACM Transactions on Software Engineering and Methodology, January 1996, V. 5, N. 1, 63--85.
  6. G. Rothermel and M. J. Harrold, ``A Safe, Efficient Regression Test Selection Technique'', ACM Transactions on Software Engineering and Methodology, April 1997, V. 6, N. 2, 173--85.

    B. Data flow graphs

  7. P. G. Frankl and E. J. Weyuker, ``An Applicable Family of Data Flow Testing Criteria'', IEEE Transactions on Software Engineering, V. 14, N. 10, October 1988, 1483--1498.
  8. M. J. Harrold and M. L. Soffa, ``Selecting and Using Data for Integration Testing'', IEEE Software, V. 8, N. 2, March 1991, 58--65.

    C. Program dependency graphs

  9. M. J. Harrold, B. A. Malloy and G. Rothermel, ``Efficient Construction of Program Dependence Graphs'', ACM SIGSOFT International Symposium on Software Testing and Analysis '93, June 1993.
  10. M. J. Harrold, A. J. Offutt, and K. Tewary, ``An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph'', The Journal of Systems and Software, V. 36, N. 3, March 1997, 273--296.

    III. PROGRAM ANALYSIS METHODS

  11. Mark Weiser, ``Program Slicing'', IEEE Transactions on Software Engineering, SE-10, N. 4, July 1984, 352--357.
  12. D. W. Binkley and K. B. Gallagher, ``Program Slicing'', Advances in Computing, V. 43, 1996. Marvin Zelkowitz, Editor, Academic Press San Diego, CA.
  13. R. Gupta, M. L. Soffa and J. Howard, ``Hybrid Slicing: Integrating Dynamic Information with Static Analysis'', ACM Transactions on Software Engineering and Methodology, October 1997, V. 6, N. 4, 370--397.
  14. G. Rothermel and M. J. Harrold, ``A Coherent Family of Analyzable Graph Representations for Object-Oriented Software'', OSU Technical Report OSU-CISRC-11/96-TR60, November, 1996.
  15. M. Young and R. N. Taylor, ``Combining Static Concurrency Analysis with Symbolic Execution'', Proceedings of the Workshop on Software Testing, IEEE Computer Society Press, July 1986, Banff Alberta, 170--178.
  16. G. Canfora, A. Cimitile, U. De Carlini and A. De Lucia, ``An Extensible System for Source Code Analysis'', IEEE Transactions on Software Engineering, September 1998, V. 24, N. 9, 721--740.

    IV. APPLICATIONS

    A. Static Validation

  17. K. M. Olender and L. J. Osterweil, ``Interprocedural Static Analysis of Sequencing Constraints'', ACM Transactions on Software Engineering and Methodology, January 1992, V. 1, N. 1, 21--52.

    B. Testing

  18. R. A. DeMillo and A. J. Offutt, ``Constraint-Based Automatic Test Data Generation'', IEEE Transactions on Software Engineering, V. 17, N. 9, September 1991, 900--910.
  19. T. Goradia, ``Dynamic Impact Analysis: A Cost-effective Technique to Enforce Error-propagation'', Proceedings of the 1993 International Symposium on Software Testing and Analysis, June 1993, Cambridge MA, 171--181.
  20. R. T. Alexander and A. J. 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.

    C. Reusability

  21. F. Lanubile and G. Visaggio, ``Extracting Reusable Functions by Flow Graph-Based Program Slicing'', IEEE Transactions on Software Engineering, V. 23, N. 4, April 1997.

    D. Change Impact Analysis

  22. L. Li and A. J. Offutt, ``Algorithmic Analysis of the Impact of Changes to Object-Oriented Software'', Proceedings of IEEE Conference on Software Maintenance, IEEE Computer Society Press, November 1996, Monterey CA, 171--184.

    E. Software Metrics

  23. A. J. Offutt, M. J. Harrold and P. Kolte, ``A Software Metric System for Module Coupling'', The Journal of Systems and Software, March 1993, V. 20, N. 3, 295--308, Elsevier North Holland Inc.
  24. J. M. Voas, ``PIE: A Dynamic Failure-Based Technique'', IEEE Transactions on Software Engineering, V. 18, N. 8, August 1992.


Jeff Offutt
June 18 1999