Team: A Support Environment for Testing, Evaluation, and Analysis

ACM SIGPLAN Notices

Volumn 24, Issue 2, 1989, Pages 153-162

  Clarke, Lori A ^a   Richardson, Debra J ^b   Zeil, Steven J ^c  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c OLD DOMINION UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976851436     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/64140.65018     Document Type: Article

References (41)

1. D. A. Baker, D. A. Fisher, and J. C. Shultis. IRIS: An Internal Form for Use in Integrated Environments. Technical Report, Incremental Systems Corporation, 1987.
2. V. R. Basili and R. W. Selby. Comparing the effectiveness of software testing strategies. IEEE Transactions on Software Engineering, SE-13(12):1278-1296, December 1987.
3. P. A. Bernstein. Database system support for software engineering. In Proceedings of the Ninth International Conference on Software Engineering, pages 166-178, Monterey, CA, March 1987.
4. L. Bouge, N. Choquet, L. Fribourg, and M. C. Gaudel. Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software, 6(4):343-360, November 1986.
5. T. A. Budd. Mutation analysis: ideas, examples, problems and prospects. In B. Chandrasekaran and S. Radicchi, editors, Computer Program Testing, pages 129-148, North-Holland, 1981.
6. T. E. Cheatham Jr., G. H. Holloway, and J. A. Townley. Symbolic evaluation and the analysis of programs. IEEE Transactions on Software Engineering, SE-5(4):402-417, July 1979.
7. L. A. Clarke, J. Hassell, and D. J. Richardson. A close look at Domain Testing. IEEE Transactions on Software Engineering, SE-8(4):380-390, July 1982.
8. L. A. Clarke, A. Podgursky, D. J. Richardson, and S. J. Zeil. A comparison of data flow path selection criteria. In Proceedings of the Eighth International Conference on Software Engineering, pages 244-251, London, England, August 1985.
9. L. A. Clarke and D. J. Richardson. Applications of symbolic evaluation. Journal of Systems and Software, January 1985.
10. L. A. Clarke, J. C. Wileden, and A. L. Wolf. GRAPHITE: A meta-tool for Ada environment development. In Proceedings of the Second International IEEE Conference on Ada Applications and Environments, IEEE, pages 81-90, Miami Beach, Florida, April 1986.
11. R. A. DeMillo, F. G. Sayward, and R. J. Lipton. Hints on test data selection: Help for the practicing programmer. Computer, 11:34-41, April 1978.
12. L. K. Dillon. Symbolic execution of Ada tasking. In Proceedings of the Third International IEEE Conference on Ada Applications and Environments, IEEE, NH, May 1988.
13. L. D. Fosdick and L. J. Osterweil. Data flow analysis in software reliability. Computing Surveys, 8(3):305-330, Sep. 1976.
14. P. G. Frankl and E. J. Weyuker. Data flow testing in the presence of unexecutable paths. In Proceedings of the ACM SIGSOFT/IEEE Workshop on Software Testing, pages 4-13, IEEE, Banff, Alberta, Canada, July 1986.
15. J. Gannon, P. McMullin, and R. Hamlet. Data-abstraction implementation, specification, and testing. ACM Transactions on Programming Languages and Systems, 3(3):211-223, July 1981.
16. G. Goos, W. A. Wulf, A. Evans Jr., and K. J. Butler. Diana: An Intermediate Lanquaqe for Ada. Springer-Verlag, 1983.
17. J. V. Guttag, E. Horowitz, and D. R. Musser. Abstract data types and software validation. Communications of the ACM, 21(12):1048-1064, December 1978.
18. D. A. Lamb. Sharing Intermediate Representations: The Interface Description Language. Technical Report CMU-CS-83-129, Carnegie-Mellon University, Pittsburgh, PA, 1983.
19. J. W. Laski and B. Korel. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering, SE-9(3):347-354, May 1983.
20. G. Nelson and D. C. Oppen. Simplification by co-operating decision procedures. ACM Transactions on Programming Languages and Systems, 1(2), October 1979.
21. S. C. Ntafos. On required element testing. IEEE Transactions on Software Engineering, SE-10(6):795-803, November 1984.
22. K. M. Olender and L. J. Osterweil. Specification and static evaluation of sequencing constraints in software. Technical Report CU-CS-335-86, University of Colorado, Boulder, CO, June 1986.
23. L. Osterweil. Software processes are software too. In Proceedings of the Ninth International Conference on Software Engineering, pages 2-13, IEEE, Monterey, CA, March 1987.
24. L. J. Osterweil. The detection of unexecutable program paths through static data flow analysis. Technical Report CU-CS-110-87, University of Colorado, Boulder, CO, May 1987.
25. S. Rapps and E. J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE-11(4):367-375, April 1985.
26. D. J. Richardson and L. A. Clarke. Partition analysis: a method combining testing and verification. IEEE Transactions on Software Engineering, SE-11(12):1477-1490, Dec. 1985.
27. D. J. Richardson and M. C. Thompson. An analysis of test data selection criteria using the RELAY model of error detection. Technical Report 86-65, Computer and Information Science, University of Massachusetts, Amherst, Dec. 1986.
28. D. J. Richardson and M. C. Thompson. The RELAY model of error detection and its application. In Proceedings of the Second Workshop on Software Testing, Analysis, and Verification, IEEE, Banff, Alberta, Canada, pages 223-230, July 1988.
29. J. Robinson. A machine-oriented logic based on the resolution principle. International Journal of Computer Mathematics, 1:227-234, 1965.
30. R. E. Shostak. Deciding combinations of theories. In D. W. Loveland, editor, Proceedings of the Sixth Conference on Automated Deduction, pages 209-222, Springer-Verlag, New York, 1982.
31. R.N. Taylor, F.C. Belz, L.A. Clarke, L. Osterweil, R.W. Selby, J.C. Wileden, A.L. Wolf, M. Young. Foundations for the Arcadia environment architecture. In Proceedings of SIGSOFT ‘88: Third Symposium on Software Development Environments, ACM, Boston, MA, November 1988.
32. M. D. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
33. L. J. White and E. I. Cohen. A domain strategy for computer program testing. IEEE Transactions on Software Engineering, SE-6(3):247-257, May 1980.
34. J. C. Wileden, A. L. Wolf, C. Fisher, and P. Tarr. PGRAPHITE: An experiment in persistent typed object management. In Proceedings of SIGSOFT ‘88: Third Symposium on Software Development Environments, ACM, Boston, MA, November 1988.
35. A. L. Wolf, L. A. Clarke, and J. Wileden. The AdaPIC toolset: supporting interface control and analysis throughout the software development process. To appear in IEEE Transactions on Software Engineering, 1988.
36. M. Young and R. N. Taylor. Combining static concurrency analysis and symbolic execution. To appear in IEEE Transactions on Software Engineering, October 1988.
37. M. Young, R. N. Taylor, D. B. Troup, and C. D. Kelly. Design principles behind Chiron: A UIMS for software environments. In Proceedings of the Tenth International Conference on Software Engineering, pages 367-376, IEEE, Singapore, April 1988.
38. S. J. Zeil. Complexity of the EQUATE testing strategy. Journal of Systems and Software, 8(2):91-104, March 1988.
39. S. J. Zeil. Selectivity of data-flow and control-flow criteria. In Proceedings of the Second Workshop on Software Testing, Analysis, and Verification, IEEE, Banff, Alberta, Canada, pages 216-222, July 1988.
40. S. J. Zeil. Testing for perturbations of program statements. IEEE Transactions on Software Engineering, SE-9(3):335-346, May 1983.
41. S. J. Zeil and E. C. Epp. Interpretation in a tool-fragment environment. In Proceedings of the Tenth International Conference on Software Engineering, pages 241-248, IEEE, Singapore, April 1988.