TAOS: Testing with analysis and oracle support

Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1994

Volumn , Issue , 1994, Pages 138-153

  Richardson, Debra J ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; INTEGRATION TESTING; MAINTENANCE; PROGRAM DEBUGGING; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

MAINTENANCE PROCESS; MODIFIED SOFTWARE; PROGRAM DEPENDENCE; QUALITY ENHANCEMENT; REGRESSION TESTING; TEST DEVELOPMENT; TEST MEASUREMENTS; TOOL DEVELOPMENT;

SOFTWARE TESTING;

EID: 84989175085     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/186258.187158     Document Type: Conference Paper

References (27)

1. [CR94] Juei Chang and Debra J. Richardson. Static and Dynamic Specification Slicing. In Proceedings of the Fourth Annual Irvine Software Symposium, pages 25-37, April 1994.
2. [CRZ88] Lori A. Clarke, Debra J. Richardson, and Steven J. Zeil. Team: A support environment for testing, evaluation, and analysis. In Proceedings of ACM SIGSOFT'88: Third Symposium on Software Development Environments, pages 153-162, November 1988. Appeared as SIGPLAN Notices 24 (2) and Software Engineering Notes 13 (5).
3. [DKMS+92] Laura K. Dillon, George Kutty, P. Michael Melliar-Smith, Louise E. Moser, and Y. S. Ramakrishna. Graphical specifications for concurrent software systems. In Proceedings of the Fourteenth International Conference on Software Engineering, pages 214-224, Melbourne, Australia, May 1992.
4. [FOW87] J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
5. [HPR88] Susan Horwitz, Jan Prins, and Thomas Reps. On the adequacy of program dependence graphs for representing programs. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 146-157, January 1988.
6. [HPR89] Susan Horwitz, Jan Prins, and Thomas Reps. Integrating noninterfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345-387, July 1989.
7. [HR92] Susan Horwitz and Thomas Reps. The use of program dependence graphs in software engineering. In Proceedings of the Fourteenth International Conference on Software Engineering, pages 392-411. ACM Press, May 1992.
8. [HRB90] Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-60, January 1990.
9. [HT86] Susan Horwitz and Tim Teitelbaum. Generating editing environments based on relations and attributes. ACM Transactions on Programming Languages and Systems, 8(4):577-608, October 1986.
10. [KCTT91] Rudolf K. Keller, Mary Cameron, Richard N. Taylor, and Dennis B. Troup. User interface development and software environments: The Chiron-1 system. In Proceedings of the Thirteenth International Conference on Software Engineering, pages 208-218, Austin, TX, May 1991.
11. [KKL+81] D. J. Kuck, R. H. Kuhn, B. Leasure, D. A. Padua, and M. Wolfe. Dependence graphs and compiler optimizations. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 207-218. ACM Press, 1981.
12. [Kor87] B. Korel. The program dependence graph in static program testing. Information Processing Letters, 24:103-108, January 1987.
13. [LK83] Janusz W. Laski and Bogdan Korel. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering, SE-9(3):347-354, May 1983.
14. [Mau90] Peter M. Maurer. Generating test data with enhanced context free grammars. IEEE Software, 7(4):50-56, July 1990.
15. [Nta84] Simeon C. Ntafos. On required element testing. IEEE Transactions on Software Engineering, SE-10(6):795-803, November 1984.
16. [OF76] Leon J. Osterweil and Lloyd D. Fosdick. DAVE - a validation, error detection, and documentation system for FORTRAN programs. Software - Practice & Experience, 6:473-486, 1976.
17. Karl J. Ottenstein and Linda M. Ottenstein. The program dependence graph in a software development environment. ACM SIGPLAN, 19(5):177-184, May 1984.
18. [PC90] Andy Podgurski and Lori A. Clarke. A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Transactions on Software Engineering, 16(9):965-979, September 1990.
19. [RA092] Debra J. Richardson, Stephanie Leif Aha, and T. Owen O'Malley. Specification-based test oracles for reactive systems. In Proceedings of the Fourteenth International Conference on Software Engineering, pages 105-118, Melbourne, Australia, May 1992.
20. [RB93a] Debra J. Richardson and Bach Bui. Prodag graphical user interface manual. UCI-ICS Technical Report TR-93-12, Department of Information and Computer Science, University of California, Irvine, August 1993.
21. [RB93b] Debra J. Richardson and Bach Bui. Taos graphical user interface manual. UCI-ICS Technical Report TR-93-11, Department of Information and Computer Science, University of California, Irvine, August 1993.
22. [ROM+93] Debra J. Richardson, T. Owen O'Malley, Cynthia Tittle Moore, Stephanie H. Leif Aha, and Debra A. Brodbeck. ProDAG: An application programmatic interface for program dependence analysis graphs. Technical Report UCI-93-10, Department of Information and Computer Science, University of California, 1993.
23. [ROMA92] Debra J. Richardson, T. Owen O'Malley, Cindy Tittle Moore, and Stephanie Leif Aha. Developing and Integrating ProDAG in the Arcadia Environment. In Proceedings of ACM SIGSOFT'92: Fifth Symposium on Software Development Environments, pages 109-119, Washington, D. C., December 1992.
24. [RW82] Sandra Rapps and Elaine J. Weyuker. Dataflow analysis techniques for test data selection. In Proceedings of the Sixth International Conference on Software Engineering, pages 272-278, Tokyo, Japan, September 1982.
25. [TC93] Peri Tarr and Lori A. Clarke. Pleiades: An Object Management System for Software Engineering Environments. In ACM SIGSOFT'93: Proceedings of the Symposium on the Foundations of Software Engineering, Los Angeles, California, December 1993.
26. [TRC92] Margaret C. Thompson, Debra J. Richardson, and Lori A. Clarke. Information flow transfer in the Relay model. Technical Report TR-92-39, Department of Information and Computer Science, University of California, May 1992.
27. [Wei82] Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, July 1982.