Roong-Ko Doong, Phyllis G. Frankl  Home/Search
Context Related
| poly.edu/~phyllis/papers/tosem.94.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: poly.edu/~phyllis/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a new approach to unit testing object-oriented programs, a set of tools based on this approach, and two case studies. In this approach, each test case consists of a tuple of sequences of messages, along with tags indicating whether these sequences should put objects of the class-under-test into equivalent states and/or return objects that are in equivalent states. Tests are executed by sending the sequences to objects of the class-under-test, then invoking a user-supplied... (Update)
Cited by: More
A Strategy for Selecting Synchronization Sequences to Test.. - Chen, Sun, Tse (2003) (Correct)
Data-Flow-Based Unit Testing of Aspect-Oriented Programs - Zhao (2003) (Correct)
A Tool for Writing and Debugging Algebraic Specifications - Henkel, Diwan (2004) (Correct)
Similar documents (at the sentence level):
12.7%: Tools for Testing Object-Oriented Programs - Frankl, Doong (1990) (Correct)
Active bibliography (related documents): More All
0.6: Discovering Algebraic Specifications from Java Classes - Henkel, Diwan (2003) (Correct)
0.5: Automatically Checking an Implementation against Its Formal.. - Antoy, Hamlet (1999) (Correct)
0.3: Confirmation Report: Generating Test Oracles From Formal.. - McDonald (1997) (Correct)
Similar documents based on text: More All
0.4: Further Empirical Studies of Test Effectiveness - Frankl, Iakounenko (1998) (Correct)
0.3: Adaptive Testing of Non-Deterministic Communication Protocols - Mohammed Ghriga Phyllis (Correct)
0.2: Attribute-Efficient Learning in Query and Mistake-Bound Models - Bshouty, al. (1996) (Correct)
Related documents from co-citation: More All
14: Experiences with cluster and class testing (context) - Murphy, Townsend et al. - 1994
11: Adequate testing and object-oriented programming (context) - Perry, Kaiser - 1990
11: Data abstraction implementation (context) - Gannon, Hamlet et al. - 1981
BibTeX entry: (Update)
R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 1994. http://citeseer.ist.psu.edu/doong94astoot.html More
@article{ doong94astoot,
author = "Roong-Ko Doong and Phyllis G. Frankl",
title = "The {ASTOOT} approach to testing object-oriented programs",
journal = "ACM Transactions on Software Engineering and Methodology",
volume = "3",
number = "2",
pages = "101--130",
year = "1994",
url = "citeseer.ist.psu.edu/doong94astoot.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988
1002 Programming Language (context) - Stroustrup - 1991
492 Smalltalk--80: The Language and its Implementation (context) - Goldberg, Robson - 1983
384 Simple word problems in universal algebras (context) - Knuth, Bendix - 1970
173 An initial algebra approach to the specification (context) - Goguen, Thatcher et al. - 1978
74 The algebraic specification of abstract data types (context) - Guttag, Horning - 1978
49 Software testing based on formal specifications: a theory an.. (context) - Bernot, Gaudel et al. - 1991
44 Abstract data types and the development of data structures (context) - Guttag - 1977
39 Computer Science Laboratory (context) - Goguen, Winkler et al. - 1988
39 Abstract data types and software validation (context) - Guttag, Horowitz et al. - 1978
33 On testing non-testable programs (context) - Weyuker - 1982
28 IEEE Transactions on Software Engineering (context) - Guttag, type et al. - 1980
25 Automatically checking an implementation against its formal .. - Antoy, Hamlet - 1992
24 Specification techniques for data abstractions (context) - Liskov, Zilles - 1975
23 Case studies on testing object-oriented programs (context) - Doong, Frankl - 1991
16 Module test case generation (context) - Hoffman, Brealey - 1989
15 A formal method for the abstract specification of software (context) - Mclean - 1984
15 ACM Transactions on Programming Languages and Systems (context) - Gannon, McMullin et al. - 1981
14 Using assertions about traces to write abstract specificatio.. (context) - Bartussek, Parnas - 1986
12 Abstract data type specification in the AFFIRM system (context) - Musser - 1980
11 IEEE Transactions on Software Engineering (context) - Hoffman, Snodgrass et al. - 1988
11 IEEE Transactions on Software Engineering (context) - Hoffman, Strooper et al. - 1991
9 Test data generation using a prolog with constraints (context) - Choquet - 1986
8 IEEE Transactions on Software Engineering (context) - Jalote, completeness - 1989
7 IEEE Transactions on Software Engineering (context) - Gannon, Hamlet et al. - 1987
4 Generation of test data from algebraic specifications (context) - Gaudel, Marre - 1988
2 Systematic design of algebraic specifications (context) - Antoy - 1989
2 Automated testcase generation for data abstraction (context) - Jalote, Caballero - 1988
1 An Approach to Testing Object-Oriented Programs (context) - Doong - 1993
1 Some extensions to algebraic specifications (context) - Guttag, Horowitz et al. - 1977
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cis.poly.edu/~phyllis/): More
Evaluating Testing Methods by Delivered Reliability - Frankl, Hamlet, Littlewood, .. (1998) (Correct)
A Formal Analysis of the Fault-detecting Ability of Testing.. - Frankl, Weyuker (1993) (Correct)
Tools for Testing Object-Oriented Programs - Frankl, Doong (1990) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC