Bibliography: Testing Object-Oriented Software

[Alagic 95] S. Alagic. "A Statically Typed, Temporal Object-oriented Database Technology," IEICE Transactions On Information and Systems. Nov 1995, v e78d, n 11, 1469-1476.

[Ambler 94] Scott Ambler, "Use-Case Scenario Testing," Software Development, v 3, n 6, July 1995, 53-61.

[Arnold 94] Thomas R. Arnold and William a. Fuson, "Testing 'In a Perfect World'," Communications of the ACM, v 37, n 9, September 1994, 78-86.

[Ashok 96] T. Ashok, K. Rangaraajan, and P. Eswar, "Retesting C++ Classes," Proceedings, Ninth International Software Quality Week. Software Research Institute, San Francisco, May 1996.

[Badri 95] M. Badri, L. Badri, S. Layachi, "Towards a Strategy of Unitary Tests and Integration of Classes in Object-Oriented Applications" (in French), Genie Logiciel (France), December 1995, n 38, 28-40.

[Ball 95] Michael S. Ball, "Debugging C++," OOP 95'/C++ World Conference Proceedings, January 1995. Sigs Conferences, Inc. New York.

[Bastani 96] F. Bastani, B. Cukic, V. Hilford, and V. Jamoussi, "Toward Dependable Safety-critical Software," Proceedings of WORDS '96 Second Workshop on Object-Oriented Real-Time Dependable Systems, IEEE Computer Society Press, Los Alamitos, Calif. 1996. 86 - 92

[Beck 94] Kent Beck, "Simple Smalltalk Testing," The Smalltalk Report, v 4, n 2, October 1994. 16-18.

[Berard 93] Edward V. Berard, Essays on Object-Oriented Software Engineering. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1993.

[Berard 94] Ed Berard. "Issues in the Testing of Object-oriented Software," Electro/94 International, Conference Proceedings Combined Volumes. IEEE Computer Society Press, Los Alamitos, Calif, 1994. 211 - 219.

[Bernot 91] Giles Bernot, M. C. Gaudel, and B. Marre, "Software Testing based on Formal Specifications: a Theory and a Tool," Software Engineering Journal, v 6, n 6, November 1991, 387-405.

[Binder 94a] Robert V. Binder, "Testing Object-Oriented Systems: a Status Report," American Programmer, v 7, n 4, April 1994. 22-28.

[Binder 94b] Robert V. Binder, "Design for Testability with Object-Oriented Systems," Communications of the ACM, v 37, n 9, September 1994, 87-101.

[Binder 95a] Robert V. Binder, "The FREE-flow Graph: Implementation-based Testing of Objects Using State-determined Flows," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.

[Binder 95b] Robert V. Binder, "Testing Objects: Myth and Reality," Object Magazine, v 5, n 2, May 1995, 73-75.

[Binder 95c] Robert V. Binder, "State-based Testing," Object Magazine, v 5, n 4, July-August 1995, 75-78.

[Binder 95d] Robert V. Binder, "State-based Testing: Sneak paths and Conditional Transitions," Object Magazine, v 5, n 6, 87-89.

[Binder 95e] Robert V. Binder, "Trends in Testing Object-oriented Software," Computer, v 28, n 10, October 1995, 68-69.

[Binder 96a] Robert V. Binder, "Use-cases, Threads, and Relations: The FREE Approach to System Testing," Object Magazine, v 5, n 9, February 1996.

[Binder 96b] Robert V. Binder, "The FREE Approach to Object-Oriented Testing: An Overview," http://www.rbsc.com/pages/FREE.html.

[Binder 96c] Robert V. Binder, "Off-the-Shelf Test Automation for Objects," Object Magazine, v 6, n 2, April 1996, 26-30.

[Binder 96d] Robert V. Binder, "An Integrated Tool Suite for High-reliability Object-Oriented Client/Server Systems," Proceedings, 9th Annual Software Quality Week. May 1996, Software Research, Inc. San Francisco.

[Binder 96e] Robert V. Binder, "Bigfoot's Tootsie," Object Magazine, v 6, n 4, June 1996. 81-87.

[Binder 96f] Robert V. Binder, "Testing for Reuse: Libraries and Frameworks," Object Magazine, v 6, n 6, August 1996.

[Binder 96h] Robert V. Binder, "Modal Testing Strategies for Object-Oriented Software," Computer, v 29, n 11, November 1996, 97-99.

[Binder 96i] Robert V. Binder, "Testing Object-Oriented Software: A Survey," Journal of Software Testing, Verification and Reliability, v 6 125-252, 1996.

[Binder 96g] Robert V. Binder, "Summertime, and the testin' is easy ... ," Object Magazine, v 6, n 8, October 1996, in press.

[Binder 97h] Robert V. Binder, "Class Modality and Testing," Object Magazine, v 6, n 2, February 1997 1996.

[Booch 91] Grady Booch, Object Oriented Design With Applications. Redwood City, Calif. Benjamin/Cummings Publishing Co, 1991.

[Booch 96] Grady Booch, Object Solutions, Managing the Object-Oriented Project. Addison-Wesley Publishing Co. Reading, Mass. 1996.

[Bosman 96] Oscar Bosman, "Testing and Iterative Development: Adapting the Booch Method," Proceedings, 13th International Conference and Exposition on Testing Computer Software, USPDI, Silver Spring, Maryland, June 1996. 1-10.

[Bougé 86] L. Bougé, N. Choquet, L. Fribourg, and M. C. Gaudel, "Test Set Generation from Algebraic Specifications using Logic Programming," Journal of Systems and Software, v 6, 1986, 343-360.

[Brown 95] Jeffery R. Brown, Larry H. Quandt, and Patricia K. Fuher, "Integration Strategies for OO Software," Proceedings, STAR 95. May 1995. Software Quality Engineering, Jacksonville, Fla. 55-76.

[Campbell 95] Mark C. Campbell, David K. Hinds, A.V. Kapetanakis, D.S. Levis, S.J. Mcfarland, D.J Miller and J. Scott Southworth, "Object-Oriented Perspective on Software System Testing in a Distributed Environment," Hewlett-Packard Journal. December 1995, v 46, n 6, 75-85.

[Capper 94] Nigel P. Capper, R. J. Colgate, J. C. Hunter, and M. F. James, "The Impact of Object-oriented Technology on Software Quality: Three Case Histories," IBM Systems Journal, v 33, n 1, 1994, 131-157.

[Cargill 93] Thomas A. Cargill, "C++ Gotchas," C++ World Conference Proceedings, October 18-22, 1993. Sigs Conferences, Inc. New York. 103-106.

[Cargill 95] Tom Cargill, "Short Tour Testing," C++ Report, v 7, n 2, Feb 1995. 60-62.

[Chang 96] Kuang-Nan Chang, D. Kung, P. Hsia, Y. Toyoshima, and C. Chen, "Object-Oriented Data Flow Testing," Proceedings, 13th International Conference and Exposition on Testing Computer Software, USPDI, Silver Spring, Maryland, June 1996. 97-100.

[Chao 94] Betty P. Chao and Donna M. Smith, "Applying Software Testing Practices to an Object-Oriented Software Development," OOPS Messenger, April 1994, v 5 n 2, 49-52.

[Cheatham 90] Thomas J. Cheatham and Lee Mellinger, "Testing Object-oriented Software Systems," Proceedings of the 1990 ACM 18th Annual Computer Science Conference, February 1990. ACM Press, New York. 161-165.

[Chen 95] T.Y Chen and C.K. Low. "Dynamic Data Flow Analysis for C++," Proceedings 1995 Asia Pacific Software Engineering Conference. IEEE Computer Society Press, Los Alamitos, Calif, 1995. 22 - 28.

[Chidamber 91] Shyam R. Chidamber and Chris F. Kemerer, "Toward a Metrics Suite for Object-Oriented Design," ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), October 1991. ACM Press, New York. 197-211.

[Chidamber 94] Shyam R. Chidamber and Chris F. Kemerer. "A Metrics Suite for Object-Oriented Design," IEEE Transactions on Software Engineering, v 20, n 6, June 1994, 476-493.

[Chonoles 95] Michael Jesse Chonoles, James A. Stuart, and Phil J. Magrogan, "OO Systems from a Quality Perspective,"Report on Object Analysis and Design, v 2, n 4, Nov-Dec 1995, 46-55.

[Choquet 86] N. Choquet, "Test Data Generation Using a Prolog with Constraints," Proceedings, Workshop on Software Testing. July 1986. IEEE Computer Society Press, Los Alamitos, Calif. 132-141.

[Chung 92] Chi-Ming Chung and Ming-Chi Lee, "Object-oriented Programming Testing Methodology," Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering, June 1992. IEEE Computer Society Press, Los Alamitos, Calif. 378-385.

[Chung 94a] Chi-Ming Chung, Ming-Chi Lee, and Ching-Chian Wang, "Inheritance Testing for OO Programming by Transitive Closure Strategies," Advances in Modeling and Analysis, AMSE Press, v 31, n 2, 1994, 57-64.

[Chung 94b] Chi-Ming Chung and Ming-Chi Lee, "Object-oriented Programming Testing Methodology," International Journal of Mini and Microcomputers, v 16, n 2, 1994, 73-81.

[Chung 95] In Sang Chung, "Methods of Comparing Test Criteria for Object-oriented Programs Based on Subsumption, Power Relation and Test Reusability," Journal of Korea Information Science Society (South Korea), v 22, n 5, May 1995, 693-704.

[Chung 96] In Sang Chung, M. Munro, W.K. Lee Y.R. Kwon, "Applying Conventional Testing Techniques for Class Testing," Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96, IEEE Computer Society Press, Los Alamitos, Calif, 1996. 447 - 454.

[Coleman 94] Derek Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes, Object-Oriented Development: The Fusion Method. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1994.

[Corriveau 96] J. P. Corriveau, "Traceability Process for Large OO Projects, " IEEE Computer, Sept. 1996, 63 - 68.

[Cox 88] Brad J. Cox, "The Need for Specification and Testing Languages," Journal of Object-Oriented Programming, v 1, n 2, June/July 1988, 44-47.

[Cox 90] Brad J. Cox, "Planning the Software Industrial Revolution," IEEE Software. v 7, n 6, November 1990, 25-33.

[Cox 91] Brad J. Cox and Andrew J. Novobilski. Object-Oriented Programming: An Evolutionary Approach. 2nd ed. Reading, Mass: Addison-Wesley, 1991.

[Cunningham 96] Ward Cunningham, "Finding and Exploiting Potent Abstractions FAST," Smalltalk Solutions '96, SIGS Conferences, New York, March 1996.

[D'Souza 94] Rosario J. D'Souza and Richard J. LeBlanc, "Class Testing by Examining Pointers," Journal of Object-Oriented Programming, v 7, n 4, July 1994, 33-39.

[Dauchy 93] P. Dauchy, M-C. Gaudel, and B. Marre, "Using Algebraic Specifications in Software Testing: a Case Study on the Software of an Automatic Subway," Journal of Systems and Software, v 21, n 3, June 1993, 229-244.

[Davis 94] Stephen R. Davis, "Armor Cladding C++ Classes," C++ Report, October 1994, 36-41.

[de By 95] R.A de By, S.J. Even, P.A.C Verkoulen, "Functionally Specified Distributed Transactions in Co-operative Scenarios, " Fifth International Workshop on Research Issues in Data Engineering-Distributed Object Management, Proceedings RIDE-DOM '95. IEEE Computer Society Press, Los Alamitos, Calif 1995. 116 - 121

[Desai 94] H. D. Desai, "Test Case Management System (TCMS)," GLOBECOM '94. Communications: The Global Bridge, IEEE Computer Society Press, Los Alamitos, Calif., 1994. v 3, 1581 - 1585

[Desfray 94] Philippe Desfray, Object Engineering: The Fourth Dimension. Reading, Mass: Addison-Wesley, 1994.

[Devanbu 96] Premkumar T. Devanbu, David S. Rosenblum, and Alexander L. Wolf, "Generating Testing and Analysis Tools with Aria," ACM Transactions on Software Engineering and Methodology, v 5, n 1, January 1996, 42-62.

[Doong 91] Roong-Ko Doong and Phyllis Frankl, "Case Studies on Testing Object-Oriented Programs," Proceedings of the Fourth Symposium on Software Testing, Analysis and Verification. October 1991, ACM Press, New York. 165-177.

[Doong 92] Roong-Ko Doong and Phyllis Frankl. The ASTOOT Approach to Testing Object-Oriented Programs. Technical Report PUCS-104-91. Polytechnic University, Brooklyn New York. 1991.

[Doong 94] Roong-Ko Doong and Phyllis G. Frankl, "The ASTOOT Approach to Testing Object-Oriented Programs," ACM Transactions on Software Engineering and Methodology, v 3, n 4, April 1994, 101-130.

[Dorman 93] Misha Dorman, "Unit Testing of C++ Objects," Proceedings, EuroSTAR 93, October 1993. SQE, Inc., Jacksonville, Fla. 71-101.

[Eliëns 95] Anton Eliëns, Principles of Object-Oriented Software Development. Addison-Wesley Publishing Co. Reading, Mass. 1995.

[Ernst 94] George W. Ernst, R. J. Hookway, and W. F. Ogden, "Modular Verification of Data Abstractions with Shared Realizations," IEEE Transactions on Software Engineering. v 20. n 4, April 1991, 288-307.

[Fiedler 89] Steven P. Fiedler, "Object-Oriented Unit Testing," Hewlett-Packard Journal, April 1989, v 40, n 2, 69-75.

[Firesmith 92] Donald G. Firesmith, Testing Object-Oriented Software, Technical Report. Ossian, Ind.: Advanced Technology Specialists, 1992.

[Firesmith 93a] Donald G. Firesmith, Object-Oriented Requirements, Analysis, and Logical Design: a Software Engineering Approach. New York: John Wiley & Sons, 1993.

[Firesmith 93b] Donald G. Firesmith, "Testing Object-Oriented Software," Proceedings of the Eleventh International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA, '93), 1993. Prentice-Hall, Englewood Cliffs, New Jersey. 407-426.

[Firesmith 95] Donald G. Firesmith, "Object-Oriented Regression Testing," Report on Object Analysis and Design, v 1, n 5, January/February 1995, 42-45.

[Firesmith 96] Donald G. Firesmith, "Pattern Language for Testing Object-Oriented Software," Object Magazine, v 5, n 9, January 1996. 32-38.

[Frankl 89] Phyllis Frankl, a Framework for Testing Object-Oriented Programs. Technical Report PUCS-105-91. Polytechnic University, Brooklyn New York. 1989.

[Freedman 91] Roy S. Freedman "Testability of Software Components," IEEE Transactions on Software Engineering. v 17, n 6, June 1991, 553-564.

[Gannon 81] John Gannon, Paul McMullin and Richard Hamlet, "Data-Abstraction Implementation, Specification, and Testing," ACM Transactions on Programming Languages and Systems, v 3, n 3, July 1981. 211-223.

[Gaudel 88] M. C. Gaudel and B. Marre, "Generation of Test Data from Algebraic Specifications," Proceedings of the 2nd Workshop of Software Testing, Analysis, and Verification (TAV2) 1988, ACM Press, New York, 165-177.

[Gerrard 90] Christopher P. Gerrard, Derek Coleman, and Robin M. Gallimore, "Formal Specification and Design Time Testing," IEEE Transactions on Software Engineering, v 16, n 1, January 1990, 1-12.

[Giltinan 94] Ty Giltinan, "Leveraging Inheritance to Test Objects," Proceedings, 3rd International Conference on Software Testing, Analysis, and Review, May 1994. SQE, Inc. Jacksonville, Fla.. 361-372.

[Gindre 89] Cyrille Gindre and Frederique Sada, "A Development in Eiffel: Design and Implementation of a Network Simulator," Journal of Object-Oriented Programming, v 2, n 1, May/June 1989, 27-33.

[Goldberg 95] Adele Goldberg and Kenneth S. Rubin, Succeeding with Objects, Addison-Wesley Publishing Co, Reading Mass, 1995.

[Graham 93] J. A. Graham, A.C.T. Drakeford, and C. D. Turner, "The Verification, Validation and Testing of Object Oriented Systems," BT Technology Journal. v 11, n 3, 1993. 79-88.

[Graham 94] Ian Graham. Object-Oriented Methods. 2nd ed. Reading, Mass., Addison-Wesley, 1994.

[Guttag 78] John V Guttag, Ellis Horowitz, and David R. Musser, "Abstract Data Types and Software Validation," Communications of the ACM, v 21, n 12, December 1978, 1048-1064.

[Harrold 92] Mary Jean Harrold, John D. McGregor, and Kevin J. Fitzpatrick, "Incremental Testing of Object-oriented Class Structures," Proceedings, 14th International Conference on Software Engineering, May 1992. IEEE Computer Society Press, Los Alamitos, Calif. 68-80.

[Harrold 94] Mary Jean Harrold and Gregg Rothermel, "Performing Data Flow Testing on Classes," Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, December 1994, ACM Press, New York. 154-163.

[Harrold 95] Mary Jean Harrold and Gregg Rothermel, "Structural Testing of Object-Oriented Classes," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.

[Hayes 86] Ian J. Hayes, "Specification Directed Module Testing," IEEE Transactions on Software Engineering, v SE-12, n 1, January 1986, 124-133.

[Hayes 94] Jane Huffman Hayes, "Testing of Object-Oriented Programming Systems (OOPS): a Fault-Based Approach," Proceedings, Object-Oriented Methodologies and Systems, E. Bertino, S. Urban (Eds.), LNCS 858. Springer-Verlag, Berlin 1994.

[Hinke 93] Bob Hinke, Vicki Jones, and Ralph E. Johnson, "Debugging Objects," The Smalltalk Report, v 2, n 9, July/August 1993.

[Hitz 96] M Hitz, and B. Montazeri. "Chidamber and Kemerer's Metrics Suite: a Measurement Theory Perspective," IEEE Transactions on Software Engineering, April 1996 v ?, n ?, 267 - 271

[Hoffman 93a] Daniel Hoffman and Paul Strooper, "Graph-based Class Testing," Proceedings, 7th Australian Software Engineering Conference. September 27-October 1 1993. IREE (Australia). 85-91.

[Hoffman 93b] Daniel Hoffman and Paul Strooper, "A Case Study in Class Testing," Proceedings of CASCON 93, October 1993. IBM Toronto Laboratory. 472-482.

[Hoffman 95a] Dan Hoffman, "ClassBench: A Framework for Class Testing," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.

[Hoffman 95b] Daniel Hoffman and Paul Strooper, "The Testgraph Methodology: Automated Testing of Collection Classes," Journal of Object-Oriented Programming, November-December 1995, v 8, n 7, 35-41.

[Hong 95] Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha. "Testing of Object-oriented Programs Based on Finite State Machines," Proceedings 1995 Asia Pacific Software Engineering Conference. IEEE Computer Society Press, Los Alamitos, Calif, 1995. 234 - 241

[Hsia 96] Pei Hsia, Xiaolin Li, Kung, D.C. "A History-based Approach for Early Faulty State Detection," Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96, IEEE Computer Society Press, Los Alamitos, Calif 1996,321 - 326,

[Hughes 96] Merlin Hughes and David Stotts, "Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects," Software Engineering Notes, v 21, n 3, May 1996, 53-61.

[Hunt 95a] Neil Hunt, "C++ Boundary Conditions and Edge Cases," Journal of Object-Oriented Programming, May 1995, v 8, n 2, 25-29.

[Hunt 95b] Neil Hunt, "Automatically Tracking Test Case Execution," Journal of Object-Oriented Programming, November-December 1995, v 8, n 7, 22-27.

[Hunt 96a] Neil Hunt, "Performance Testing C++ Code," Journal of Object-Oriented Programming, January 1996, v 8, n 8, 22-25.

[Hunt 96b] Neil Hunt, "Unit Testing," Journal of Object-Oriented Programming, February 1996, v 8, n 9, 18-23.

[Hurst 95] Jeff Hurst and Robert Willhoft, "The Use of Coherence Checking for Testing Object-Oriented Code," Proceedings, IBM International Conference on Object Technology, June 1994, IBM, 1-37.

[Jacobson 92] Ivar Jacobson, M. Christerson, P. Jonsson, and G. Overgaard. Object-Oriented Software Engineering. Reading, Mass., Addison-Wesley, 1992.

[Jalote 88] Pankaj Jalote and David Caballero, "Automated Testcase Generation for Data Abstraction," Proceedings, The Twelfth Annual International Computer Software and Applications Conference. November 1988. IEEE Computer Society Press, Los Alamitos, Calif. 205-209.

[Jalote 89] Pankaj Jalote, "Testing the Completeness of Specifications," IEEE Transactions on Software Engineering, v SE-15, n 5, May 1989, 526-531.

[Jalote 92] Pankaj Jalote, "Specification and Testing of Abstract Data Types," Computer Language, (UK) v 17, n 1, 1992. 75-82.

[Jia 93] Xiaoping Jia, "Model-Based Formal Specification Directed Testing of Abstract Data Types," Proceedings, The Seventeenth Annual International Computer Software and Applications Conference. November 1993. IEEE Computer Society Press, Los Alamitos, Calif. 360-366.

[Jonassen 95] Anne M. Jonassen, "Managing Unit and Integration Testing of a Large Object-Oriented System," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.

[Jones 90] D. W. Jones, "Software Testing An Ada Cruise Control," Journal of Pascal, Ada, and Modula-2, v 9, n 2, March-April 1990, 53-64.

[Jorgensen 95] Paul Jorgensen. Software Testing: a Craftsman's Approach. Boca Raton: CRC Press, 1995.

[Jorgenson 94] Paul C. Jorgenson and Carl Erickson, "Object-Oriented Integration Testing," Communications of the ACM, v 37, n 9, September 1994, 30-38.

[Jüttner 94a] Peter Jüttner, S. Kolb, U. Naumann, and P. Zimmerer, "A Complete Test Process in Object-Oriented Software Development," Conference Proceedings, 7th International Software Quality Week, May 1994. Software Research Institute, San Francisco.

[Jüttner 94b] Peter Jüttner, S. Kolb, U. Naumann, and P. Zimmerer, "Experiences in Testing Object-Oriented Software," Conference Proceedings, 11th International Conference on Testing Computer Software, June 13-16, 1994. USPDI, Washington, DC.

[Jüttner 94c] Peter Jüttner, Sebald Kolb, and Peter Zimmerer, "Integrating and Testing of Object-Oriented Software," Conference Proceedings, EuroSTAR '94, October 1994. SQE, Inc., Jacksonville, Fla. 13/1-13/14.

[Jüttner 95] Peter Jüttner, S. Kolb, U. Naumann, J. Wood, and P. Zimmerer, "Integration Testing of Object-Oriented Software," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.

[Keszenheimer 94] Linda M. Keszenheimer and Karl J. Lieberherr, Incremental Testing of Adaptive Software, Technical Report NU-CSS-94-22, November 1994, Northeastern University.

[Keszenheimer 95] Linda M. Keszenheimer and Karl J. Lieberherr, Testing Adaptive Software During Class Evolution, Technical Report NU-CSS-95-xx, January 1995, Northeastern University.

[Kirani 94a] Shekar Kirani, "Specification and Verification of Object-Oriented Programs," Ph.D diss, University of Minnesota, 1994.

[Kirani 94b] Shekar Kirani and W. T. Tsai, "Method Sequence Specification and Verification of Classes," Journal of Object-Oriented Programming, v 7, n 6, October 1994, 28-38.

[Kleyn 88] Michael F. Kleyn and Paul C. Gingrich,"{Graphtrace} -- Understanding Object-oriented Systems Using Concurrently Animated Views," ACM SIGPLAN Journal, v 23, n 11, Nov 1988, 191-205.

[Klimas 92] Edward Klimas, "Quality Assurance Issues for Smalltalk Based Applications," The Smalltalk Report, v 1, n 9, July/August 1992, 2-7.

[Krawczyk 96] H . Krawczyk and B. Wiszniewski. "Object-oriented Model of Parallel Programs," Proceedings of the Fourth Euromicro Workshop Parallel and Distributed Processing - PDP '96, IEEE Computer Society Press. Los Alamitos, Calif 1996. 80 - 86.

[Kung 93a] D. Kung, J. Gao, P. Hsia, J. Lin, and Y. Toyoshima, "Design Recovery for Software Testing of Object-Oriented Programs," Proceedings of the Working Conference on Reverse Engineering, May 1993. IEEE Computer Society Press, Los Alamitos, Calif. 202-211.

[Kung 93b] D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen, "On Object State Testing," Proceedings, The Eighteenth Annual International Computer Software & Applications Conference, November 1993. IEEE Computer Society Press, Los Alamitos, Calif. 222-227.

[Kung 94] Kung, D., Gao, J., Hsia, P., Wen, F., Toyoshima, Y., Chen, C. "Change Impact Identification in Object Oriented Software Maintenance," Proceedings. International Conference on Software Maintenance, IEEE Computer Society Press, Los Alamitos, Calif, 1944. 202 - 211

[Kung 95a] David Kung, J. Gao, P. Hsia, J. Lin, and Y. Toyoshima, "Class Firewall, Test Order, and Regression Testing of Object-oriented Programs," Journal of Object-Oriented Programming, v 8, n 2, May 1995, 51-65.

[Kung 95b] David Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, "A Test Strategy for Object-Oriented Systems," Proceedings, The Nineteen Annual International Computer Software and Applications Conference. August 1995, IEEE Computer Society Press, Los Alamitos, Calif. 239-244.

[Kung 95c] David Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y. Kim and Y. Song, "Developing an Object-Oriented Software Testing and Maintenance Environment," Communications of the ACM, v 38, n 10, October 1995, 75-86.

[Kung 96] David C. Kung, Gao, Jerry, Chen, Cris. "On Regression Testing of Object-Oriented Programs," The Journal of Systems and Software. Jan 1996 v 32 n 1, 21-xx.

[Lakos 92] John S. Lakos, "Designing-In Quality in Large C++ Projects" Proceedings, 10th Annual Pacific Northwest Software Quality Conference, November 1992. PNSQC, Portland, Oregon.

[Lakos 96] John S. Lakos, Large Scale C++ Software Design. Addison-Wesley, Reading Mass, 1996.

[Leavens 91] Gary T. Leavens, "Modular Specification and Verification of Object-oriented Programs," IEEE Software, v 8, n 4, July 1991, 72-80.

[Leavens 95] Gary T. Leavens and W. E. Weihl, "Specification and Verification of Object-oriented Programs Using Supertype Abstraction," Acta Informatica, v 32, n 8, 1995, 705-778.

[Lee 94] J. Lee, M. Feng, and C. Chung, "A Structural Testing Method for C++ Programs," Proceedings, The Eighteenth Annual International Computer Software and Applications Conference. November 1993. IEEE Computer Society Press, Los Alamitos, Calif. 234.

[Lejter 92] Moises Lejter, Scott Meyers, and Steven P. Reiss. "Support for Maintaining Object-oriented Programs," IEEE Transactions on Software Engineering, v 18, n 12, December 1992, 1045-1052.

[Li 93] Wei Li and Sallie Henry, "Object-Oriented Metrics that Predict Maintainability," Journal of Systems and Software, v 23, n 2, November 1993, 111-122.

[Lieberherr 92] Karl J. Lieberherr and Cun Xiao, "Object-oriented Software Evolution," IEEE Transactions on Software Engineering, v 19, n 4, April 1992, 313-343.

[Liskov 86] Barbara Liskov and John Guttag, Abstraction and Specification in Program Development. Cambridge, Mass: MIT Press, 1986.

[Lorenz 94] Mark Lorenz and Jeff Kidd, Object-Oriented Software Metrics, Prentice-Hall, Inc. Englewood Cliffs, New Jersey. 1994.

[Loughman 92] Donna Lee Loughman, "New Tools for New Rules," Journal of Object-Oriented Programming, v 5, n 7, Nov 1992. 29-31.

[Love 92] Tom Love. Object Lessons. New York, SIGS Books, 1992.

[Maggio 95] Michael D Maggio, "Automated Software-Testing Scripts," UNIX Review. Dec 1995 v 13 n 13, 43-xx.

[Marick 95] Brian Marick, The Craft of Software Testing, Prentice-Hall, Inc. Englewood Cliffs, New Jersey, Prentice-Hall, 1995.

[Martin 89] Peter M. Martin, Eric W. Anderson, and Richard K. Dizmang, "Effects on SQA of Adopting C++ for Product and Tool Development at Apple," Proceedings, 6th Annual Pacific Northwest Software Quality Conference, September 1989. PNSQC, Portland, Oregon. 127-140.

[McCabe 93] "OO Tool Aids Software Testing," The Outlook, Fall 1993, Columbia, Maryland : McCabe & Associates.

[McCabe 94a] Thomas J. McCabe and Arthur H. Watson, "Combining Comprehension and Testing in Object-Oriented Development," Object Magazine, v 4, n 1, March-April 1994, 63-66.

[McCabe 94b] T. J. McCabe, L. A. Dreyer, A. J. Dunn, and A. H. Watson," Testing an Object-Oriented Application," CASE Outlook, Spring 1994. 1-7.

[McCabe 94c] T. J. McCabe, L. A. Dreyer, A. J. Dunn, and A. H. Watson, "Testing an Object-Oriented Application," Journal of the Quality Assurance Institute, October 1994. V 8, n 4. 21-27.

[McGregor 92] John D. McGregor and David A. Sykes, Object-Oriented Software Development: Engineering Software for Reuse. London: International Thomson Computer Press, 1992.

[McGregor 93a] John D. McGregor and Douglas M. Dyer, "A Note on Inheritance and State Machines," Software Engineering Notes, v 18, n 4, October 1993, 61-69.

[McGregor 93b] John D. McGregor and Douglas M. Dyer, "Selecting Functional Test Cases for a Class," Proceedings, 11th Annual Pacific Northwest Software Quality Conference, October 1993. PNSQC, Portland, Oregon. 109-121.

[McGregor 94a] John D. McGregor, "Functional Testing of Classes," Conference Proceedings, 7th International Software Quality Week, May 1994. Software Research Institute, San Francisco.

[McGregor 94b] John D. McGregor and Tim Korson, "Integrating Object-Oriented Testing and Development Processes," Communications of the ACM, v 37, n 9, September 1994, 59-77.

[McGregor 94c] John D. McGregor, "Constructing Functional Test Cases Using Incrementally Derived State Machines," Conference Proceedings, 11th International Conference on Testing Computer Software, June 13-16, 1994. USPDI, Washington, DC.

[McGregor 96] John D. McGregor and Anuradha Kare, "Parallel Architecture for Component Testing of Object-Oriented Software," Proceedings, 9th Annual Software Quality Week. May 1996, Software Research, Inc. San Francisco.

[McGregor 97] John D. McGregor. "Quality Assurance," Journal of Object-oriented Programming, Feb 1997 v 9 n 9, 8

[McMullin 82] Paul R. McMullin and John D. Gannon, "Evaluating a Data Abstraction Testing System Based on Formal Specifications," Journal of Systems and Software, v 2, n 2, 1982, 177-186.

[Mellor 94a] Steven J. Mellor and Sally Shlaer, "A Deeper Look at Testing and Integration, Part 1," Object Magazine, v 3, n 9, February 1994, 8-13.

[Mellor 94b] Steven J. Mellor and Sally Shlaer, "A Deeper Look at Testing and Integration, Part 2," Object Magazine, v 4, n 1 March/April 1994, 18-22.

[Meyer 88] Bertrand Meyer, Object-Oriented Software Construction. Englewood Cliffs, NJ.: Prentice-Hall, Inc., 1988.

[Meyer 92] Bertrand Meyer, "Applying 'Design by Contract'," IEEE Computer, v 25, n 10, October 1992, 40-51.

[Moreland 94] Clarence C. Moreland, "How to Design Effective Tests for C++ Class Libraries," Object Expo, June 9, 1994. Object Expo, Inc. New York.

[Murphy 92] Gail Murphy and Pok Wong, "Towards a Testing Methodology for Object-oriented Systems," Poster paper, OOPSLA '92.

[Murphy 94] Gail C. Murphy, Paul Townsend, Pok Wong, "Experiences with Cluster and Class Testing," Communications of the ACM, v 37, n 9, September 1994, 39-47.

[Nair 96] Biju Nair, Kenneth R. Gulledge, and Ramona F. Lingevich, "Using OLE Automation for Efficiently Automating Software Testing," Proceedings, 9th Annual Software Quality Week. May 1996, Software Research, Inc. San Francisco.

[NIST 95] National Institute of Standards and Technology, Testability of Object-Oriented Systems, Report NIST GCR-675, Computer Systems Laboratory, Gaithersburg, Maryland. June 1995.

[Offutt 95] A. Jefferson Offutt and Alisa Irvine, "Testing Object-Oriented Software Using the Category-Partition Method," Proceedings, TOOLS 17, Prentice-Hall, Inc. 1995. 293-304.

[Olthoff 86] W. G. Olthoff, "Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience," ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), December 1986. ACM Press, New York. 429-443.

[Overbeck 93] Jan Overbeck, "Testing Object-Oriented Software: State of the Art and Research Directions," Proceedings, 1st European International Conference on Software Testing, Analysis and Review, October 1993. SQE, Inc., Jacksonville, Fla.

[Overbeck 94a] Jan Overbeck. Integration Testing for Object-Oriented Software, Ph.D. Dissertation, Vienna University of Technology, 1994.

[Overbeck 94b] Jan Overbeck, "Testing Generic Classes," Proceedings, EuroSTAR '94, October 1994. SQE, Inc., Jacksonville, Fla. 41/1-41/11.

[Overbeck 95] Jan Overbeck, "Testing Object-Oriented Software and Reusability -- Contradiction or Key to Success?" Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.

[Parrish 93a] Allen Parrish, David Cordes, and Richard Borie, "Developmental Testing of Abstract Data Types," Proceedings, The Seventeenth Annual International Computer Software and Applications Conference, November 1993. IEEE Computer Society Press, Los Alamitos, Calif. 49-55.

[Parrish 93b] Allen S. Parrish, Richard B. Borie, and David W. Cordes, "Automated Flow Graph-based Testing of Object-oriented Software Modules," Journal of Systems and Software v 23, n 2, November 1993, 95-109.

[Parrish 94] Allen S. Parrish, David Cordes, and Mohan Govindarajan, "Systematic Defect Removal from Object-oriented Modules," Conference Proceedings, 7th International Software Quality Week, May 1994. Software Research Institute, San Francisco, Calif.

[Perry 90] Dewayne E. Perry and Gail E. Kaiser, "Adequate Testing and Object-Oriented Programming," Journal of Object-Oriented Programming, v 2, n 5, Jan/Feb 1990, 13-19.

[Pittman 93] Matthew Pittman, "Lesson Learned in Managing Object-Oriented Development," IEEE Software, v 10, n 1, January 1993, 43-53.

[Ponder 94] Carl Ponder and Bill Bush, "Polymorphism Considered Harmful," Software Engineering Notes, v 19, n 2, April 1994, 35-37.

[Porat 95] Sara Porat and Paul Fertig, "Class Assertions in C++," Journal of Object-Oriented Programming, v 8, n 2, May 1995, 30-37.

[Poston 94] Robert M. Poston, "Automated Testing from Object Models," Communications of the ACM, v 37, n 9, September 1994, 48-58.

[Pree 95] Wolfgang Pree, Design Patterns for Object-Oriented Software Development. Addison-Wesley Publishing Co. Reading, Mass. 1995.

[Purchase 91] Jan A. Purchase and Russell L. Winder, "Debugging Tools for Object-oriented Programming," Journal of Object-Oriented Programming, June, 1991, v 4, n 3, 10-27.

[Rangaraajan 96] K. Rangaraajan, P Eswar, and T. Ashok, "Retesting C++ Classes," Proceedings, 9th Annual Software Quality Week. May 1996, Software Research, Inc. San Francisco.

[Reed 93] David R. Reed, "Program Development Using C++," C++ World Conference Proceedings, April 1993. SIGS Conferences, Inc. New York.

[Reed 94a] David R. Reed, "Building, Testing, and Tuning C++ Programs," C++ World Conference Proceedings, January 31-February 4, 1994. SIGS Conferences, Inc. New York. 135-137.

[Reed 94b] David R. Reed, "Program Development Using C++," C++ World Conference Proceedings, October 1994. SIGS Conferences, Inc. New York.

[Reenskaug 89] T. Reenskaug and A. L. Skaar, "An Environment for Literate Smalltalk Programming", ACM SIGPLAN Journal, v 24, n 10, Oct 1989, 337-345.

[Rettig 91] Marc Rettig, "Testing Made Palatable," Communications of the ACM, v 34, n 5, May 1991, 25-29.

[Rine 87] David C. Rine, "A Common Error in the Object Structure of Object-Oriented Design Methods," Software Engineering Notes, v 12, n 4, October 1987, 42-44.

[Rine 96] David Rine, "Structural Defects in Object-Oriented Programming," Software Engineering Notes, v 21, n 2, March 1996, 86-88.

[Rothermel 94] Greg Rothermel and Mary Jean Harrold, "Selecting Regression Tests for Object-Oriented Software," Conference on Software Maintenance, October 1994. IEEE Computer Society Press, Los Alamitos, Calif. 14-25.

[Sakkinen 88] Markku Sakkinen, "On the Darker Side of C++," Lecture Notes in Computer Science, Springer-Verlag, 1988, v 322, 162-176.

[Selic 94] Brian Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. New York, John Wiley & Sons, Inc. 1994.

[Shlaer 88] Sally J. Shlaer and Steven J. Mellor. Object-Oriented Systems Analysis: Modeling the World in Data. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1988.

[Shopiro 93] Jonathan Shopiro, "Tips and Tricks to Avoid the Traps," C++ World Conference Proceedings, October 18-22, 1993. SIGS Conferences, Inc. New York. 211-212.

[Siegel 92] Shel M. Siegel, Strategies for Testing Object-Oriented Software, CompuServe CASE Forum Library, September 1992.

[Siegel 94] Shel M. Siegel, "OO Integration Testing Specification," Conference Proceedings, 7th International Software Quality Week, May 1994. Software Research Institute, San Francisco, Calif.

[Siegel 96] Shel M. Siegel, Object-Oriented Testing: A Hierarchic Approach, John Wiley and Sons, New York, 1996.

[Siepmann 94] Ernst Siepmann and A. Richard Newton, "TOBAC: Test Case Browser for Object-Oriented Software," Proceedings of the 1994 International Symposium on Software Testing and Analysis, August 17-19, 1994. ACM Press, New York. 154-168.

[Skubics 96] Suzanne Skubics, Edward J. Klimas, and David A. Thomas, Smalltalk with Style, Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1996.

[Smith 90] M. D. Smith and D. J. Robson, "Object-oriented Programming: the Problems of Validation," Proceedings of the 6th International Conference on Software Maintenance, November 1990. IEEE Computer Society Press, Los Alamitos, Calif. 272-282.

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

[Sneed 95] H. M. Sneed, "Object-Oriented Testing" (in German), Informatik Spektrum (Germany), v 18, n 1, February 1995, 6-12.

[Spuler 95] David A. Spuler, C++ and C Debugging, Testing, and Reliability. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1995.

[Taenzer 89] David Taenzer, Murhty Ganti, and Sunil Podar, "Problems in Object-oriented Software Reuse," ECOOP '89: Proceedings of the 1989 European Conference on Object-Oriented Programming, July 1989. Cambridge University Press, Cambridge (UK). 27-38.

[Tamai 91] Tetsuo Tamai, "Formal and Informal Approaches for Validation," Proceedings, The Fifteenth Annual International Computer Software and Applications Conference, November 1991. IEEE Computer Society Press, Los Alamitos, Calif. 534-535.

[Taylor 92] David Taylor, "A Quality-first Program for Object Technology," Object Magazine, v 2, n 3, June/July 1992. 17-18.

[Thielen 92] David Thielen. No Bugs. Delivering Error Free Code in C and C++. Reading, Mass: Addison-Wesley, 1992.

[Thuy 92] Nguyen N. Thuy, "Testability and Unit Tests in Large Object Oriented Software," Conference Proceedings, 5th International Software Quality Week, May 1992. Software Research Institute, San Francisco, Calif.

[Thuy 93] Nguyen N. Thuy, "Design for Quality in Large Object Oriented Software," Conference Proceedings, 6th International Software Quality Week, May 1993. Software Research Institute, San Francisco, Calif.

[Trausan-Matu 91] S. Trausan-Matu, J. Tepandi, and M. Barbuceanu, "Validation, Verification, and Testing of Object-Oriented Programs: Methods and Tools," Proceedings of the 1st East European Conference on Object-Oriented Programming, September 1991. 62-71.

[Tse 96] T. H. Tse and Zhinong Zu, "Test Case Generation for Class-Level Object-Oriented Testing," Proceedings, 9th Annual Software Quality Week. May 1996, Software Research, Inc. San Francisco.

[Turner 92] C. D. Turner and D. J. Robson, A Suite of Tools for the State-Based Testing of Object-Oriented Programs, Technical Report TR-14/92, Durham, England: Computer Science Division, School of Engineering and Computer Science (SECS),University of Durham (UK), 1992.

[Turner 93a] C. D. Turner and D. J. Robson, The Testing of Object-Oriented Programs. Technical Report TR-13/92. Durham, England: Computer Science Division, School of Engineering and Computer Science (SECS),University of Durham (UK), 1993.

[Turner 93b] C. D. Turner and D. J. Robson, State-Based Testing and Inheritance, Technical Report TR-1/93, Durham, England: Computer Science Division, School of Engineering and Computer Science (SECS),University of Durham (UK), 1993.

[Turner 93c] C. D. Turner and D. J. Robson, Guidance for the Testing of Object-Oriented Programs, Technical Report TR-2/93 Durham, England: Computer Science Division, School of Engineering and Computer Science (SECS),University of Durham (UK), 1993.

[Turner 93d] C. D. Turner and D. J. Robson, "The State-Based Testing of Object-Oriented Programs," Conference on Software Maintenance. September 1993. IEEE Computer Society Press, Los Alamitos, Calif. 302-310.

[Turner 95] C.D. Turner and D.J. Robson, "A State-based Approach to the Testing of Class-based Programs," Software Concepts and Tools, v 16, n 3, 106-112.

[Van Sant 95] Jay Van Sant and Jenny Greenleaf, "Developing Quality Processes in a Startup Team at ParcPlace," Proceedings, 13th Annual Pacific Northwest Software Quality Conference, September 1995. PNSQC, Portland, Oregon, 397-408.

[Walsh 95] P. Walsh and D.Hoffman. "Hardware Techniques for Testing Software Components," Proceedings IEEE Pacific Rim Conference Communications, Computers, and Signal Processing. IEEE Computer Society Press, Los Alamitos, Calif 1995. 128 - 130,

[Wang 95] Chien-Min Wang and Y.S. Kuo, "Class Exerciser: a Basic Case Tool for Object-oriented Development," Proceedings 1995 Asia Pacific Software Engineering Conference, IEEE Computer Society Press, Los Alamitos, Calif.1995. 108 - 116,

[Weber 94] R. Weber, K. Thelen, A. Srivastava, and J. Krueger, "Automated Validation Test Generation," 13th Digital Avionics Systems Conference, AIAA/IEEE IEEE Computer Society Press, Los Alamitos, Calif, 1994. 99 - 104

[Webster 95] Bruce F. Webster, Pitfalls of Object-Oriented Development, M & T Books, Inc. New York, 1995.

[Weide 91] Bruce W. Weide, William F. Ogden, and Stuart H. Zweben. "Reusable Software Components," in Advances in Computers, v 33. Marshall C. Yovits (ed), Boston: Academic Press, 1991. 1-65

[Wilde 92] Normal Wilde and Ross Huitt, "Maintenance Support for Object-Oriented Programs," IEEE Transactions on Software Engineering, v 18, n 12, December 1992, 1038-1044.

[Wilde 93] Norman Wilde, Paul Matthews, and Ross Huitt, "Maintaining Object-Oriented Software," IEEE Software, January 1993, 75-80.

[Wilke 93] George Wilke, Object-Oriented Software Engineering: The Professional Developer's Guide. Reading, Mass:, Addison-Wesley, 1993.

[Williams 95] Tom Williams, "CASE Tools Close the Abstraction and Generation Gap," Computer Design, v 34, n 3, March. 1995, 47-48.

[Winfrey 90] Travis Lee Winfrey, Testing Object-Oriented Programs by Mutually Suspicious Parties, University of Columbia, Technical Report CUCS-041-90, 1990, ftp://cs.columbia.edu/pub/reports/reports-1990/cucs-041-90.ps.Z

[Wohlin 94] Claes Wohlin and Per Runeson, "Certification of Software Components," IEEE Transactions on Software Engineering, v 20, n 6, June 1994, 494-499.

[Wong 92] Pok S. Wong. Automated Class Exerciser (ACE) User's Guide. Technical Report TR92-0655, MPR Teltech Ltd., September 1992. Burnaby, Vancouver (Canada).

[Zhao 96] Jianjun Zhao, Jingde Cheng, K. Ushijima "Static Slicing of Concurrent Object-oriented Programs," Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 IEEE Computer Society Press, Los Alamitos, Calif 1996. 312 - 320.

[Zweben 92] Stuart Zweben, W. Heym and J. Kimmich, "Systematic Testing of Data Abstractions Based on Software Specifications," Journal of Software Testing, Verification and Reliability, v 1, n 4, 1992. 39-55.

Copyright 1995-1996, RBSC Corporation. All rights reserved.
First Release: 1 December 1995. Last Revision: 16 April 1997