Testing Bibliography

Courtesy of The Object Agency, Inc.

[Abbott, 1986]. J. Abbott, Software Testing Techniques, NCC Publications, Manchester, England, United Kingdom, 1986.

[Abrial, 1980]. J.R. Abrial, The Specification Language Z: Basic Library, Programming Research Group, Oxford University, United Kingdom, 1980.

[Ackerman et al., 1989]. A.F. Ackerman, L. Buchwald, and F. Lewski, "Software Inspections: An Effective Verification Process," IEEE Software, Vol. 6, No. 3, May 1989, pp. 31 - 36.

[ACM, 1989]. Association for Computing Machinery, special issue of SIGPLAN Notices: Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, Vol. 24, No. 4, April 1989.

[ACM, 1991]. Association for Computing Machinery, Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, May 20-21, 1991, Santa Cruz, California, Special Issue of ACM SIGPLAN Notices, Vol. 26, No. 12, December 1991, ACM Press, New York, New York, 1991.

[Adrion et al., 1982]. W.R. Adrion, M.A. Barnstad, and J.C. Cherniavsky, "Validation, Verification, and Testing of Computer Software," ACM Computing Surveys, Vol. 14, No. 2, June 1982, pp. 159 - 192.

[Agha, 1986]. G. Agha, ACTORS, A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, Massachusetts, 1986.

[Agrawal and Spafford, 1989]. H. Agarwal and E. Spafford, "Bibliography on Debugging and Backtracking," Software Engineering Notes, Vol. 14, No. 2, April 1989, pp. 49 - 56.

[Anderson, 1979]. R.B. Anderson, Proving Programs Correct, John Wiley & Sons, New York, New York, 1979.

[Andriole, 1986]. S.J. Andriole, Editor, Software Validation, Verification, Testing, and Documentation, Petrocelli Books, Princeton, New Jersey, 1986.

[Arnold and Fuson, 1994]. T.R. Arnold and W.A. Fuson, "Testing In a Perfect World," Communications of the ACM, Vol. 37, No. 9, September 1994, pp. 78 - 86.

[Aron, 1974]. J.D. Aron, The Program Development Process, The Individual Programmer, Addison-Wesley Publishing Co., Reading, Massachusetts, 1974.

[Baber, 1991]. R.L. Baber, Error-Free Software: Know-How and Know-Why of Program Correctness, John Wiley & Sons, New York, New York, 1991.

[Balfour, 1988]. B. Balfour, "On `Unit Testing' and other Uses of the Term `Unit'," MCC '88 Military Computing Conference, Military Computing Institute, 1988, pp. 127 - 130.

[Basili and Selby, 1987]. V.R. Basili and R.W. Selby, "Comparing the Effectiveness of Software Testing Strategies," IEEE Transactions on Software Engineering, Vol. 13, No. 12, December 1987, pp. 1278 - 1296.

[Bates, 1989]. P. Bates, "Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior," SIGPLAN Notices, Vol. 24, No. 1, January 1989, pp. 11 - 22.

[Beizer, 1983]. B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, New York, New York, 1983.

[Beizer, 1984]. B. Beizer, Software System Testing and Quality Assurance, Van Nostrand Reinhold, New York, New York, 1984.

[Beizer, 1990]. B. Beizer, Software Testing Techniques, Second Edition, Van Nostrand Reinhold, New York, New York, 1990.

[Ben-Ari, 1982]. M. Ben-Ari, Principles of Concurrent Programming, Prentice Hall, Englewood Cliffs, New Jersey, 1982.

[Ben-Ari, 1990]. M. Ben-Ari, Principles of Concurrent and Distributed Programming, Prentice Hall, Englewood Cliffs, New Jersey, 1990.

[Berg et al., 1982]. H.K. Berg, W.E. Boebert, W.R. Franta, and T.G. Moher, Formal Methods of Program Verification and Specification, Prentice Hall, Englewood Cliffs, New Jersey, 1982.

[Bessen and Queyras, 1987]. M. Bessen and B. Queyras, "GET: A Test Generator for Ada," Ada Components: Libraries and Tools -- Proceedings of the Ada-Europe International Conference, Stockholm, 26-28 May, 1987, Cambridge University Press, Cambridge, United Kingdom, 1987, pp. 237 - 252.

[Bieman and Schultz, 1989]. J. Bieman and J. Schultz, "Estimating the Number of Test Cases Required to Satisfy the All-Do-Paths Testing Criterion," Procedings of the Software Testing and Verification Symposium, TAV3-SIGSOFT89, December 1989, pp. 179-186.

[Binder, 1994]. R.V. Binder, "Design for Testability in Object-Oriented Systems," Communications of the ACM, Vol. 37, No. 9, September 1994, pp. 87 - 101.

[Boehm, 1981]. B.W. Boehm, Software Engineering Economics, Prentice Hall, Englewood Cliffs, New Jersey, 1981.

[Booch, 1987]. G. Booch, Software Components With Ada, Benjamin/Cummings, Menlo Park, California, 1987.

[Bowen, 1985]. J.B. Bowen, "Are Current Approaches Sufficient for Measuring Software Quality?," Tutorial on Software Quality Assurance Practical Approach, T.S. Chow, Editor, IEEE Computer Society Press, New York, New York, 1985, pp. 62-69.

[Brown and Sampson, 1973]. A.R. Brown and W.A. Sampson, Program Debugging, Macdonald, London, United Kingdom, 1973.

[Carver and Tai, 1988]. R.H. Carver and K.C. Tai, "A Semantics-Based Approach to Analyzing Concurrent Programs," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, 19 - 21 July 1988, Banff, Canada, IEEE Catalog Number 88TH0225-3, 1988, pp. 132 - 133.

[Carver and Tai, 1989]. R. Carver and K.C. Tai, "Deterministic Execution Testing of Concurrent Ada Programs," Proceedings of TRI-Ada '89 -- Ada Technology In Context: Application, Development, and Deployment, October 23-26, 1989, Association for Computing Machinery, New York, New York, pp. 528 - 544.

[Carver, 1989]. R. Carver, Testing, Debugging, and Analysis of Concurrent Software, Ph.D. Thesis, North Carolina State University at Raleigh, Raleigh, North Carolina, (UMI Order No. GAX89-18077), 1989.

[Cherniavsky and Smith, 1991]. J.C. Cherniavsky and C.H. Smith, "On Weyuker's Axioms for Software Complexity Measures," IEEE Transactions on Software Engineering, Vol. 17, No. 6, June 1991, pp. 636 - 638.

[Chetham and Mellinger, 1990]. T.J. Chetham and L. Mellinger, "Testing Object-Oriented Systems," Proceedings of the 18th ACM Annual Computer Science Conference, Association for Computing Machinery, New York, New York, 1990, pp. 161 - 165.

[Cho, 1980]. Chin-Kuei, An Introduction to Software Quality Control, John Wiley & Sons, New York, New York, 1980.

[Chow, 1985]. T.S. Chow, Editor, IEEE Tutorial: Software Quality Assurance: A Practical Approach, IEEE Computer Society Press, Silver Spring, Maryland, 1985.

[Chusho, 1987]. T. Chusho, "Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing," IEEE Transactions on Software Engineering, Vol. SE-13, No. 5, May 1987, pp. 509 - 517.

[Cohen, 1986]. N.H. Cohen, Ada As a Second Language, McGraw-Hill, New York, New York, 1986.

[Crosby, 1979]. P.B. Crosby, Quality is Free, The New American Library, Inc., New York, New York, 1979.

[DeMillo, et. al., 1987]. R. DeMillo, W. McCracken, R. Martin, J. Passafiume, Software Test and Evaluation, Benjamin/Cummings, Menlo Park, California, 1987.

[Dencker, 1989]. P. Dencker, "The Ada-IDAS Project Monitoring Task States," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 81 - 87.

[Deutsch, 1982]. M.S. Deutsch, Software Verification and Validation, Prentice Hall, Englewood Cliffs, New Jersey, 1982.

[Dijkstra, 1969]. E.W. Dijkstra, "Structured Programming," reprinted in Software Engineering, Concepts and Techniques, Buxton, Naur, Randall, Editors, Litton Educational Publishing, New York, New York, 1976.

[Dijkstra, 1975]. E.W. Dijkstra, "Guarded Commands, Nondeterminacy, and Formal Derivations of Programs," Communications of the ACM, Vol. 18, No. 8, August 1975, pp. 453-457.

[Dillon et al, 1988]. L.K. Dillion, R.A. Kermmerer, and L.J. Harrison, "An Experience with Two Symbolic Execution-Based Approaches to Formal Verification of Ada Tasking Programs," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, 19 - 21 July 1988, Banff, Canada, IEEE Catalog Number 88TH0225-3, 1988, pp. 114 - 122.

[Doong and Frankl, 1991]. R.K. Doong and P. Frankl, "Case Studies in Testing Object-Oriented Software," Testing, Analysis, and Verification Symposium, Association for Computing Machinery, New York, New York, 1991, pp. 165 - 177.

[Dunn and Ullman, 1982]. R Dunn and R Ullman, Quality Assurance For Computer Software, McGraw-Hill, New York, New York, 1982.

[Dunn, 1984]. R. Dunn, Software Defect Removal, McGraw-Hill, New York, New York, 1984.

[Dunn, 1990]. R.H. Dunn, Software Quality: Concepts and Plans, Prentice Hall, Englewood Cliffs, New Jersey, 1990.

[Evangelist, 1984]. M. Evangelist, "An Analysis of Control Flow Complexity," Proceedings of the Eighth International Computer Software and Applications Conference, Chicago, Illinois, November 7-9, 1984, pp. 235 - 237, 239.

[Evans and Marciniak, 1987]. M.W. Evans and J. Marciniak, Software Quality Assurance and Management, John Wiley & Sons, New York, New York, 1987.

[Evans, 1984]. M.W. Evans, Productive Software Test Management, John Wiley & Sons, New York, New York, 1984.

[Fagan, 1976]. M.E. Fagan, "Design and Code Inspections To Reduce Errors in Program Development," IBM Systems Journal, Vol. 15, No. 3, 1976, pp. 219 - 248.

[Fagan, 1986]. M.E. Fagan, "Advances in Software Inspections," IEEE Transactions on Software Engineering, Vol. 12, No. 7, July 1986, pp. 744 - 751.

[Fairley, 1985]. R. Fairley, Software Engineering Concepts, McGraw-Hill, New York, New York, 1985.

[Fiedler, 1989]. S.P. Fiedler, "Object-Oriented Unit Testing," Hewlett-Packard Journal, Vol. 36, No. 4, April 1989, pp. 69 - 74.

[Frankl and Doong, 1990]. P.G. Frankl and R.K. Doong, "Tools for Testing Object-Oriented Programs," Proceedings of the Pacific Northwest Conference on Software Quality, 1990, pp. 309 - 324.

[Frankl and Weyuker, 1987]. P.G. Frankel and E.J. Weyuker, "Data Flow Testing in the Presence of Unexecutable Paths," Proceedings of the Workshop on Software Testing, Banff, Canada, July 1987, pp. 4 - 13.

[Frankl and Weyuker, 1988]. P.G. Frankel and E.J. Weyuker, "An Applicable Family of Data Flow Testing Criteria, IEEE Transactions on Software Engineering, Vol. 14, No. 10, October 1988, pp. 1483 - 1498.

[Freedman and Weinberg, 1990]. D.P. Freedman and G.M. Weinberg, Handbook of Walkthroughs, Inspections, And Technical Reviews: Evaluating Programs, Projects and Products, Third Edition, Dorset House Publishing, New York, New York, 1990.

[Freedman, 1991]. R.S. Freedman, "Testability of Software Systems," IEEE Transactions on Software Engineering, Vol. 17, No. 6, June 1991, pp. 553 - 564.

[Fujiwara et al., 1991]. S. Fujiwara, G.V. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, "Test Selection Based on Finite State Models," IEEE Transactions on Software Engineering, Vol. 17, No. 6, June 1991, pp. 591 - 603.

[Fujiwara, 1985]. H. Fujiwara, Logic Testing and Design for Testability, MIT Press, Cambridge, Massachusetts, 1985.

[Gallimore et al., 1989]. R. Gallimore, D. Coleman, and V. Stravridou, Computer Journal, "UMIST OBJ: A Language for Executable Program Specifications," Computer Journal, Vol. 32, No. 5, October 1989, pp. 413 - 421.

[Garfield and Gillian, 1982]. C. Garfield and B. Gillian, Structured Systems Development Techniques : Strategic Planning to System Testing, Pitman, 1982.

[Geller, 1978]. M. Geller, "Test Data As an Aid In Proving Program Correctness," Communications of the ACM, Vol. 21, No. 5, May 1978, pp. 368 - 375.

[Gelperin and Hetzel, 1988]. D. Gelperin and B. Hetzel, "The Growth of Software Testing," Communications of the ACM, Vol. 31, No. 6, June 1988, pp. 687 - 695.

[German et al., 1982]. S.M. German, D.P. Helmbold, and D.C. Luckham, "Monitoring for Deadlocks in Ada Tasking," ACM 0-89791-0877/82/010/0010, Proceedings of the AdaTEC Conference on Ada, Virginia, October, 1982, pp. 10 - 25.

[German, 1984]. S.M German, "Monitoring for Deadlock and Blocking in Ada Tasking," IEEE Transactions on Software Engineering, Vol. SE-10, No. 6, November 1984, pp. 764 - 777.

[Ghezzi et al., 1991]. C. Ghezzi, M. Jazayeri, and D. Mandrioli, Fundamentals of Software Engineering, Prentice Hall, Englewood Cliffs, New Jersey, 1991.

[Gilb, 1977]. T. Gilb, Software Metrics, Winthrop Publishers, Inc., Cambridge, Massachusetts, 1977.

[Glass, 1979]. R.L. Glass, Software Reliability Guidebook, Prentice Hall, Englewood Cliffs, New Jersey, 1979.

[Goguen and Meseguer, 1987]. J.A. Goguen and J. Meseguer, "Unifying Functional, Object-Oriented and Relational Programming With Logical Semantics," in Research Directions in Object-Oriented Programming, Edited by B. Shriver and P. Wegner, The MIT Press, Cambridge, Massachusetts, 1987, pp. 417 - 477.

[Goguen, 1984]. J.A. Goguen, "Parameterized Programming," IEEE Transactions on Software Engineering, Vol. SE-10, No. 5, September 1984, pp. 528 - 543.

[Goodenough and Gerhart, 1975]. J.B. Goodenough and S.L. Gerhart, "Toward a Theory of Test Data Selection," IEEE Transactions on Software Engineering, Vol. SE-1, June 1975, pp. 156 - 173.

[Gould and Drongowski, 1972]. J.D. Gould and P. Drongowski, A Controlled Psychological Study of Computer Program Debugging, Technical Report RC-4083, IBM Research Division, Yorktown Heights, New York, 1972.

[Gould, 1975]. J.D. Gould, "Some Psychological Evidence on How People Debug Computer Programs," International Journal of Man-Machine Studies, Vol. 7, No. 2, 1975, pp. 151 - 182.

[Gourlay, 1983]. J. Gourlay, "A Mathematical Framework for the Investigation of Testing," IEEE Transactions on Software Engineering, Vol. SE-9, No. 6, November 1983, pp. 686 - 709.

[Grogono and Bennett, 1989]. P. Grogono and A. Bennett, "Polymorphism and Type Checking in Object-Oriented Languages," SIGPLAN Notices, Vol. 24, No. 11, November 1989, pp. 109 - 115.

[Gunther, 1978]. R.C. Gunther, Management Methodology For Software Product Engineering, John Wiley & Sons, New York, New York, 1978.

[Halstead, 1977]. M. Halstead, Elements of Software Science, Operating and Programming Systems Series, Elservier Computer Science Library, New York, New York, 1977.

[Hansen, 1973]. P.B. Hansen, "Concurrent Programming Concepts," ACM Computing Surveys, Vol. 5, No. 4, December 1973, pp. 223 - 245.

[Hansen, 1978]. P.B. Hansen, "Distributed Processes: A Concurrent Programming Concept," Communications of the ACM, Vol. 21, No. 11, November 1978, pp. 934 - 941.

[Harrold et al., 1992]. M.J. Harrold, J.D. McGregor, and K.J. Fitzpatrick, "Incremental Testing of Object-Oriented Class Structures," Proceedings of the Fourteenth International Conference on Software Engineering, 1992, pp. 68 - 80.

[Hathorn, 1989]. F. Hathorn, "Structured Tasks," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 265 - 272.

[Hayes, 1987]. I. Hayes, Editor, Specification Case Studies, Prentice Hall, London, United Kingdom, 1987.

[Hembold and Luckham, 1985a]. D. Hembold and D. Luckham, "Debugging Ada Tasking Programs," IEEE Software, Vol. 2, No. 2, March 1985, pp. 47 - 57.

[Hembold and Luckham, 1985b]. D. Hembold and D. Luckham, "TSL: Task Sequencing Language," Ada in Use, Cambridge University Press, Cambridge, U.K., 1985.

[Hetzel, 1988]. B. Hetzel, The Complete Guide to Software Testing, Second Edition, QED Information Sciences, Inc. Wellesley, Massachusetts, 1988.

[Hoare, 1969]. C.A.R. Hoare, "An Axiomatic Basis for Computer Programming," Communications of the ACM, Vol. 12, No. 10, October 1969, pp. 576 - 580, 583.

[Hoare, 1971]. C.A.R. Hoare, "Proof of a Program: FIND," Communications of the ACM, Vol. 14, No. 1, January 1971, pp. 39 - 45.

[Hoare, 1972]. C.A.R. Hoare, "Proof of Correctness of Data Representation," Acta Informatica, Vol. 1, 1972, pp. 271 - 181.

[Hoare, 1978]. C.A.R. Hoare, "Communicating Sequential Processes," Communications of the ACM, Vol. 21, No. 8, August 1978, pp. 666 - 677.

[Hoare, 1985]. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, Englewood Cliffs, New Jersey, 1985.

[Hobin, 1988a]. C. Hobin, "The Ada Test and Verification System (ATVS)," Conference Proceedings Tri-Ada '88, 1988.

[Hobin, 1988b]. C. Hobin, "The Ada Test and Verification System (ATVS): An Overview," Conference Proceedings Ada Expo '88, 1988.

[Hollocker, 1990]. C.P. Hollocker, Software Reviews And Audits Handbook, John Wiley & Sons, New York, New York, 1990.

[Honda and Yonezawa, 1989]. Y. Honda and A. Yonezawa, "Debugging Concurrent Systems Based on Object Groups," in ECOOP '88: Proceedings of the European Conference on Object-Oriented Programming, Lecture Note on Computer Science, Volume 322, S. Gjessing and K. Nygaard, Editors, Springer Verlag, New York, New York, 1988, pp. 267 - 282.

[Howden, 1987]. W. Howden, Software Engineering and Technology: Functional Program Testing, McGraw-Hill, New York, New York, 1987.

[Hseush and Kaiser, 1988]. W. Hseush and G.E. Kaiser, "Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language," Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, May 1988, pp. 236 - 246.

[Humphrey, 1989]. W.S. Humphrey, Managing the Software Process, Addison-Wesley Publishing Company, Reading, Massachusetts, 1989.

[IEEE, 1981]. Institute for Electrical and Electronics Engineers, IEEE Standard ATLAS Test Language, IEEE Standard 416-1981, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1981.

[IEEE, 1983]. Institute for Electrical and Electronics Engineers, An American National Standard: IEEE Standard for Software Test Documentation, ANSI/IEEE Std 829-1983, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1983.

[IEEE, 1986b]. Institute for Electrical and Electronics Engineers, An American National Standard: IEEE Standard for Software Verification and Validation Plans, ANSI/IEEE Std 1012-1986, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1986.

[IEEE, 1986]. Institute for Electrical and Electronics Engineers, An American National Standard: IEEE Standard for Software Unit Testing, ANSI/IEEE Std 1008-1987, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1986.

[IEEE, 1988a]. Institute for Electrical and Electronics Engineers, An American National Standard: IEEE Standard for Software Reviews and Audits, ANSI/IEEE Std 1028-1988, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1988.

[IEEE, 1988b]. Institute for Electrical and Electronics Engineers, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, 19-21 July 1988, Banff, Canada, 1988.

[IEEE, 1989]. Institute for Electrical and Electronics Engineers, Software Engineering Standards, Third Edition, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1989.

[IEEE, 1991]. Institute for Electrical and Electronics Engineers, IEEE Standard Glossary of Software Engineering Terminology, IEEE Standard 610.12-1990, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1991.

[IEEE, 1993]. Institute for Electrical and Electronics Engineers, IEEE Standards Collection: Software Engineering, 1993 Edition, The Institute of Electrical and Electronics Engineers, Inc., New York, New York, 1993.

[Isoda, 1987]. S. Isoda, "Visual Debugger VIPS: Visual Representation of Program Execution," Conference Proceedings Software Testing and Validation September 23-24,1987, National Institute for Software Quality and Productivity, Inc., 1987, pp. E-l - E-27.

[Jalote, 1989]. P. Jalote, "Testing the Completeness of Specifications," IEEE Transactions on Software Engineering, Vol. 15, No. 5, May 1989, pp. 526 - 531.

[Jones, 1986]. C.B. Jones, Systematic Software Development Using VDM, Prentice Hall, Englewood Cliffs, New Jersey, 1986.

[Jorgensen and Erickson, 1994]. P.C. Jorgensen and C. Erickson, "Object-Oriented Integration Testing," Communications of the ACM, Vol. 37, No. 9, September 1994, pp. 30 - 38.

[Juran, 1979]. J.M. Juran, "Basic Concepts," in Quality Control Handbook, Third Edition, Edited by J.M. Juran, F.M. Gryna, Jr., and F.M. Bingham, Jr., McGraw-Hill, New York, New York, 1979.

[Kaiser et al., 1989]. G.E. Kaiser, D.E. Perry, and W.M. Schell, "INFUSE: Fusing Integration Test Management With Change Management," Proceeding of COMPSAC '89 -- The 13th Annual International Computer Software and Application Conference, Orlando, Florida, September 1989, pp. 552 - 558.

[Kaner, 1988]. C. Kaner, Testing Computer Software, Tab Books, Blue Ridge Summit, Pennsylvania, 1988.

[Knuth, 1973]. D.E. Knuth, The Art of Computer Programming, Volume 1: Fundamental Algorithms, Second Edition, Addison-Wesley Publishing Company, Reading, Massachusetts, 1973.

[Laski, 1989]. J. Laski, "Testing in the Program Development Cycle," Software Engineering Journal, Vol. 4, No. 2, March 1989, pp. 95 - 106.

[Lazzerini and Lopriore, 1989]. B. Lazzerini and L. Lapriore, "Abstraction Mechanisms for Event Control in Program Debugging," IEEE Transactions on Software Engineering, Vol. 15, No. 7, July 1989, pp. 890 - 901.

[Leveson, 1986]. N.G. Leveson, "Software Safety: What, Why, and How," ACM Computing Surveys, Vol. 18, No. 2, June 1986, pp. 125 - 164.

[Lewis, 1992]. R.O. Lewis, Independent Verification and Validation: A Life-Cycle Engineering Process for Quality Software, John Wiley & Sons, New York, New York, 1992.

[Lin and LeBlanc, 1989]. C. Lin and R. LeBlanc, "Event Based Debugging of Object/Action Programs, SIGPLAN Notices, Vol. 24, No. 1, January 1989, pp. 23 - 34.

[Long and Clark, 1988]. D.L. Long and L.A. Clark, "Task Interaction Graphs for Concurrent Analysis," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, 19 - 21 July 1988, Banff, Canada, IEEE Catalog Number 88TH0225-3, 1988, pp. 134 - 135.

[Luckham, et, al., 1987]. D. Luckham, R. Neff, and D. Rosenblum, "An Environment for Ada Software Development Based on Formal Specification," Ada Letters, Vol. 7, No. 3, 1987.

[Mackay and Davenport, 1989]. W. Mackay and G. Davenport, "Virtual Video Editing in Interactive Multimedia Applications," Communications of the ACM, Vol. 32, No. 7, July 1989, pp. 802 - 810.

[Marks, 1992]. D.M. Marks, Testing Very Big Systems, McGraw-Hill, Inc., New York, New York, 1992.

[Martin, 1988]. R.J. Martin, "Assurance Technology," Conference Proceedings Tri-Ada '88, 1988.

[McCabe, 1976]. T. McCabe, "A Complexity Measure" IEEE Transactions on Software Engineering, December 1976, pp. 308 - 320.

[McCabe, 1982]. T.J. McCabe, Editor, IEEE Tutorial: Structured Testing, IEEE Computer Society Press, Silver Spring, Maryland, 1982.

[McCabe, 1987]. T. McCabe, "Automating the Testing Process Through Complexity Metrics," Conference Proceedings Software Testing and Validation September 23-24, 1987, National Institute for Software Quality and Productivity, Inc., 1987, pp. G-l - G-30.

[McCracken, 1987]. W. McCracken, "Testing Reusable Ada Software," Conference Proceedings Software Testing and Validation September 23-24, 1987, National Institute for Software Quality and Productivity, Inc., 1987, pp. P- 1 - P-27.

[McGettrick, 1982] A.D. McGettrick, Program Verification Using Ada, Cambridge Computer Science Texts 13, Cambridge University Press, Cambridge, United Kingdom, 1982.

[McGregor and Korson, 1994a]. J.D. McGregor and T.D. Korson, Testing the Polymorphic Interactions of Classes, Technical Report No. TR-94-103, Clemson University, 1994.

[McGregor and Korson, 1994b]. J.D. McGregor and T.D. Korson, "Integrated Object-Oriented Testing and Development Processes," Communications of the ACM, Vol. 37, No. 9, September 1994, pp. 59 - 77.

[Miller and Howden, 1981]. E. Miller, and W.E. Howden, Tutorial: Software Testing and Validation Techniques, IEEE Computer Society Press, Washington, D.C., IEEE Catalog No. EHO180-0, 1981.

[Mizuno, 1983]. Y. Mizuno, "Software Quality Improvement," IEEE Computer, Vol. 16, No. 3, March 1983, pp. 66 - 72.

[Murphy et al., 1994]. G.C. Murphy, P. Townsend, and P.S. Wong, "Experiences With Cluster and Class Testing," Communications of the ACM, Vol. 37, No. 9, September 1994, pp. 39 - 47.

[Musa and Ackerman, 1989]. J. Musa and A.F. Ackerman, "Quantifying Software Validation: When to Stop Testing?," IEEE Software, Vol. 6, No. 3, May 1989, pp. 19 - 27.

[Musa et al., 1990]. J.D. Musa, A. Iannino, and K. Okumoto, Software Reliability: Professional Edition, McGraw-Hill Publishing Company, New York, New York, 1990.

[Myers, 1976]. G.J. Myers, Software Reliability Principles and Practices, John Wiley & Sons, New York, New York, 1976.

[Myers, 1978]. G.J. Myers, "A Controlled Experiment In Program Testing and Code Walkthroughs/Inspections," Communications of the ACM, Vol. 21, No. 9, September 1978, pp. 760 - 768.

[Myers, 1979]. G.J. Myers, The Art of Software Testing, John Wiley & Sons, New York, New York, 1979.

[Neumann, 1989]. P. Neumann, "Flaws in Specifications and What to Do About Them," Proceedings of the Fifth International Workshop on Software Specification and Design, May 19-20, 1989, Pittsburgh, Pennsylvania, Published as Software Engineering Notes, Vol. 14 No. 3, IEEE Computer Society Press, Washington, D.C., May 1989, pp. xi - xv.

[Olthoff, 1986]. W.G. Oltholf, "Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience," OOPSLA '86 Conference Proceedings, special issue of SIGPLAN Notices, Vol. 21, No. 11, November 1986, pp. 429 - 443.

[Ostrand et al., 1987]. T.J. Ostrand, R. Sigal, and E. Weyuker, "Design for a Tool to Manage Specification Based Testing," Workshop on Software Testing, Banff, Canada, July 1987, pp. 41 - 50.

[Ould and Unwin, 1986]. M. Ould and C. Unwin, Testing In Software Development, Cambridge University Press, Cambridge, United Kingdom, 1986.

[Parrington and Roper, 1989]. N. Parrington and M. Roper, Understanding Software Testing, Halstead Press, New York, New York, 1989.

[Parrish and Zweben, 1991]. A. Parrish and S.H. Zweben, "Analysis and Refinement of Software Test Data Accuracy Properties," IEEE Transactions on Software Engineering, Vol. 17, No. 6, June 1991, pp. 565 - 581.

[Perry and Kaiser, 1990]. D.E. Perry and G.E. Kaiser, "Adequate Testing and Object-Oriented Programming," Journal of Object-Oriented Programming, Vol. 2, No. 5, January/February 1990, pp. 13 - 19.

[Perry, 1986]. W.E. Perry, How to Test Software Packages, John Wiley & Sons, New York, New York, 1986.

[Perry, 1988]. W.E. Perry, A Structured Approach To Software Testing, QED Information Sciences, Inc., Wellesley, Massachusetts, 1988.

[Podgurski and Clarke, 1989]. A. Podgurski and L. Clarke, "The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance," Software Engineering Notes, Vol. 14, No. 8, December 1989, pp. 168 - 178.

[Poston, 1994]. R.M. Poston, "Automated Testing from Object Models," Communications of the ACM, Vol. 37, No. 9, September 1994, pp. 48 - 58.

[Poutanen, 1987]. O. Poutanen, "Two Portable Ada Testing Tools TBGEN and TCMON," Ada Components: Libraries and Tools -- Proceedings of the Ada-Europe International Conference, Stockholm 26-28 May 1987, Cambridge University Press, Cambridge, United Kingdom, 1987, pp. 197 - 208.

[Purchase and Winder, 1991]. J.A. Purchase and R.L. Winder, "Debugging Tools for Object-Oriented Programming," Journal of Object-Oriented Programming, Vol. 4, No. 3, June 1991, 10 - 14, 16 - 18, 20 - 24, 26 - 27.

[Quirk, 1985]. W.J. Quirk, Editor, Verification and Validation of Real-Time Software, Springer-Verlag, New York, New York, 1985.

[Radi, 1988a]. T. Radi, "TestGen--Testing Tool for Ada Designs and Ada Code," Proceedings of the Sixth National Conference on Ada Technology, 1988.

[Radi, 1988b]. T. Radi, "Testing Ada Designs and Code--TestGen--Ada Testing Tool," Conference Proceedings Tri-Ada '88, ACM Press, New York, New York 1988, pp. 165 - 180.

[Radi, 1988c]. T. Radi, "TestGen--Testing Tool for Ada Designs and Ada Code," Conference Proceedings Ada Expo '88, 1988.

[Radi, 1989]. T. Radi, "TestGen--Testing Tool for Ada Designs and Ada Code," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 53 - 61.

[Rapps and Weyuker, 1985]. S. Rapps and E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Transactions on Software Engineering, Vol. 11, No. 4, April 1985, pp. 367 - 375.

[Reifer, 1985]. D.J. Reifer, State of the Art in Software Quality Management, Reifer Consultants, Torrance, California, 1985.

[Remkes, et. al., 1989]. D. Remkes, K. Gutzmann, and F. Sizer, "Automated Test Support for Ada PDL," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 39 - 45.

[Roe and Rowland, 1987]. R.P. Roe and J.H. Rowland, "Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing," IEEE Transactions on Software Engineering, Vol. SE-13, No. 7, July 1987, pp. 761 - 766.

[Roetzheim, 1991]. W.H. Roetzheim, Developing Software to Government Standards, Prentice Hall, Englewood Cliffs, New Jersey, 1991.

[Sankar, et. al., 1985]. S. Sankar, D. Rosenblum, and R. Neff, "An Implementation of Anna," Ada in Use, Cambridge University Press, Cambridge, U.K. 1985.

[Schulmeyer and McManus, 1987]. G.G. Schulmeyer and J.I. McManus, Editors, Handbook of Software Quality Assurance, Van Nostrand Reinhold, New York, New York, 1987.

[Schulmeyer, 1990]. G.G. Schulmeyer, Zero Defect Software, McGraw-Hill, Inc., New York, New York, 1990.

[Shankar, 1982]. K.S. Shankar, "A Functional Approach to Module Verification," IEEE Transactions on Software Engineering, Vol. SE-8, No. 2, March 1982, pp. 147 - 160.

[Shneiderman, 1980]. B. Shneiderman, Software Psychology, Winthrop Publishers, Inc., Cambridge, Massachusetts, 1980.

[Smith and Robson, 1990]. M.D. Smith and D.J. Robson, "Object-Oriented Programming: The Problem of Validation," Proceedings of the Sixth International IEEE Conference on Software Maintenance, November 1990, IEEE Computer Society Press, Los Alamitos, California, 1990, pp. 272 - 282.

[Smith and Robson, 1992]. M.D. Smith and D.J. Robson, "A Framework for Testing Object-Oriented Programs," Journal of Object-Oriented Programming, Vol. 5, No. 3, June 1992, pp. 45 - 53.

[Sommerville, 1989]. I. Sommerville, Software Engineering, Third Edition, Addison-Wesley Publishing Company, Reading, Massachusetts, 1989.

[Spivey, 1988]. J.M. Spivey, Understanding Z: A Specification Language and Its Formal Semantics, Cambridge University Press, Cambridge, United Kingdom, 1988.

[Spivey, 1989]. J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, Englewood Cliffs, New Jersey, 1989.

[Strelich, 1986]. T. Strelich, "Ada Test and Verification System: ATVS," Proceedings of the First International Conference on Ada Programming Language Applications For the NASA Space Station, 1986.

[Tai and Din, 1985]. K.C. Tai and C.Y. Din, "Validation of Concurrency in Software Specification and Design," Third International Workshop on Software Specification and Design, IEEE Computer Society Press, Silver Spring, Maryland, 1985, pp. 223 - 227.

[Tai et al., 1989]. K.C. Tai, R.H. Carver, and E.E. Obaid, "Deterministic Execution Debugging of Concurrent Ada Programs," Proceedings of Compsac '89, IEEE Computer Society Press, Silver Spring, Maryland, October, 1989, pp. 102 - 109.

[Tai et al., 1991]. K.C. Tai, R.H. Carver, and E.E. Obaid, "Debugging Concurrent Ada Programs by Deterministic Execution," IEEE Transactions on Software Engineering, Vol. 17, No. 1, January 1991, pp. 45 - 63.

[Tai, 1985a]. K.C. Tai, "Reproducible Testing of Concurrent Ada Programs," Proceedings of SOFTFAIR II, IEEE Computer Society Press, Silver Spring, Maryland, December, 1985, pp. 114 - 120.

[Tai, 1985b]. K.C. Tai, "On Testing Concurrent Programs," Proceedings of COMPSAC '85, IEEE Computer Society Press, Silver Spring, Maryland, October, 1985, pp. 310 - 317.

[Tai, 1986a]. K.C. Tai, "A Graphical Representation of Rendezvous Sequences of Concurrent Ada Programs," Ada Letters, Vol. 6, No. 1, January/February 1986, pp. 94 - 103.

[Tai, 1986b]. K.C. Tai, "Reproducible Testing of Ada Tasking Programs," Proceedings of the IEEE Second International Conference on Ada Applications and Environments, IEEE Computer Society Press, Silver Spring, Maryland, 1986, pp. 69 - 79.

[Tai, 1987]. K.C. Tai, "A Methodology for Testing Concurrent Ada Programs," Proceedings of The Joint Ada Conference Fifth National Conference on Ada Technology and Washington Ada Symposium, March, 1987, pp. 459 - 464.

[Tassel, 1978]. D.V. Tassel, Program Style, Design, Efficiency, Debugging, and Testing, Second Edition, Prentice Hall, Englewood Cliffs, New Jersey, 1978.

[Tauson-Conte, 1988]. H. Tauson-Conte, "Ada Complexity Extension (ACE) An extension of McCabe's Cyclomatic Complexity Metric for Analysis of Ada Software," Proceedings of the Sixth National Conference on Ada Technology, 1988, pp. 7 - 12.

[Taylor and Kelly, 1986]. R.N. Taylor and C.D. Kelly, "Structural Testing of Concurrent Programs," Proceedings of the Workshop on Software Testing, Banff, Alberta, Canada, July 1986, pp. 164 - 169.

[Taylor and Levine, 1992]. R.N. Taylor and D.L. Levine, "Structural Testing of Concurrent Programs," IEEE Transactions on Software Engineering, Vol. 18, No. 3, March 1992, pp. 206 - 215.

[Taylor and Osterweil, 1980]. R.N. Taylor and L.J. Osterweil, "Anomaly Detection in Concurrent Software by Static Data Flow Analysis," IEEE Transactions on Software Engineering, Vol. SE-6, No. 3, May 1980, pp. 265 - 278.

[Taylor and Standish, 1985]. R.N. Taylor and T.A. Standish, "Steps to an Advanced Ada Programming Environment," IEEE Transactions on Software Engineering, Vol. SE-l 1, No. 3, March 1985, pp. 302 - 309.

[Taylor, 1983]. R.N. Taylor, "A General-Purpose Algorithm for Analyzing Concurrent Programs," Communications of the ACM, Vol. 26 No. 5, May, 1983, pp 362 - 376.

[Trausan-Matu et al., 1991]. S. Trausan-Matu, J. Tepandi, and M. Barbuseanu, "Validation, Verification, and Testing of Object-Oriented Programs," Proceedings of the EastEurOOPe '91 Conference, September 15-19, 1991, Bratislava, Czechoslovakia, pp. 62 - 71.

[von Henke, et. al., 1985]. F.W. von Henke, D. Luckham, B. Krieg-Brueckner, and O. Owe, "Semantic Specification of Ada Packages," Ada in Use, Cambridge Press, Cambridge, UK, 1985.

[von Mayrhauser, 1991]. A. von Mayrhauser, "Testing and Evolutionary Development," Software Engineering Notes, Vol. 16, No. 4, October 1991, pp. 31 - 36.

[Wallace and Fujii, 1989a]. D. Wallace and R. Fujii, "Verification and Validation: Techniques to Assure Reliability," IEEE Software, Vol. 6, No. 3, May 1989, pp. 8 - 9.

[Wallace and Fujii, 1989b]. D. Wallace and R. Fujii, "Software Verification and Validation: An Overview," IEEE Software, Vol. 6, No. 3, May 1989, pp. 10 - 18.

[Weinberg, 1971]. G.M. Weinberg, The Psychology of Computer Programming, Van Nostrand Reinhold Company, New York, New York, 1971.

[Weinberg, 1983]. G.M. Weinberg, "Kill That Code," Infosystems, August 1983, p. 49.

[Weiss, 1988]. S.N. Weiss, "A Formal Framework for the Study of Concurrent Program Testing," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, 19 - 21 July 1988, Banff, Canada, IEEE Catalog Number 88TH0225-3, 1988, pp. 106 - 113.

[Weyuker and Jeng, 1991]. E.J. Weyuker and B. Jeng, "Analyzing Partition Testing Strategies," IEEE Transactions on Software Engineering, Vol. 17, No. 7, July 1991, pp. 703 - 711.

[Weyuker, 1986]. E.J. Weyuker, "Axiomatizing Software Test Data Accuracy," IEEE Transactions on Software Engineering, Vol. SE-12, No. 12, December 1986, pp. 1128 - 1138.

[Weyuker, 1988]. E.J. Weyuker, "The Evaluation of Program-Based Software Test Data Accuracy Criteria," Communications of the ACM, Vol. 31, No. 6, June 1988, pp. 668 - 675.

[Weyuker, 1990]. E.J. Weyuker, "The Cost of Data Flow Testing: An Empirical Study," IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990, pp. 121 - 128.

[Yonezawa and Tokoro, 1987]. A. Yonezawa and M. Tokoro, Editors, Object-Oriented Concurrent Programming, The MIT Press, Cambridge, Massachusetts, 1987.

[Young and Taylor, 1986]. M. Young and R.N. Taylor, "Combining Static Concurrency Analysis with Symbolic Execution," Proceedings of the Workshop on Software Testing, IEEE Computer Society Press, Washington, D.C., 1986, pp. 170 - 178.

[Young et al., 1989]. M. Young, R.N. Taylor, K. Forester, and D. Brodbeck, "Integrated Concurrency Analysis in a Software Development Environment," Proceedings of the Third Workshop on Software Testing, Analysis, and Verification, Key West, Florida, December 1989, pp. 200 - 209.

[Yourdon and Constantine, 1979]. E. Yourdon and M. Constantine, Structured Design, Prentice Hall, Englewood Cliffs, New Jersey, 1979.

[Yourdon, 1975]. E. Yourdon, Techniques of Program Structure and Design, Prentice Hall, Englewood Cliffs, New Jersey, 1975.

[Yourdon, 1989]. E. Yourdon, Managing The Structured Techniques, Fourth Edition, Prentice Hall, Englewood Cliffs, New Jersey, 1989.

[Yourdon, 1989]. E. Yourdon, Structured Walkthroughs, Fourth Edition, Prentice Hall, Englewood Cliffs, New Jersey, 1989.

[Zweben and Gourlay, 1989]. S.H. Zweben and J. Gourlay, "On the Adequacy of Weyuker's Test Data Adequacy Axioms," IEEE Transactions on Software Engineering, Vol. 15, No. 4, April 1989, pp. 496 - 500.

[TOA Home Page] [HTML Documents] [Contact TOA]