ASTOOT approach to testing object-oriented programs

被引：42
|
作者：
Doong, Roong-Ko [1 ]
Frankl, Phyllis G. [1 ]
机构：
[1] Sun Microsystems Lab, Mountainview, United States
来源：
ACM Transactions on Software Engineering and Methodology | 1994年 / 3卷 / 02期
关键词：
Algebraic specification - Program testing - Symbolic execution - Test data generators;
D O I：
10.1145/192218.192221
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：101 / 130
相关论文
共 50 条
  • [21] Built-in test features of testing object-oriented programs
    Battig, ME
    Philip, T
    10TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1997, : 52 - 55
  • [22] Regression testing of object-oriented programs on class members granularity
    Miao, L
    Zhang, DF
    Yang, XD
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS, AND INFORMATICS, VOL XVI, PROCEEDINGS, 2004, : 522 - 527
  • [23] A Fitness Function for Evolutionary Mutation Testing of Object-Oriented Programs
    Bashir, Muhammad Bilal
    Nadeem, Aamer
    2013 IEEE 9TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES (ICET 2013), 2013, : 279 - 284
  • [24] A logic of object-oriented programs
    Abadi, M
    Rustan, K
    Leino, M
    VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 11 - 41
  • [25] Encapsulation in object-oriented programs
    Chen, JL
    Wang, FJ
    ACM SIGPLAN NOTICES, 1996, 31 (07) : 30 - 32
  • [26] Slicing object-oriented programs
    Chen, JL
    Wang, FJ
    Chen, YL
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 395 - 404
  • [27] OBJECT-ORIENTED PROGRAMS IN REALTIME
    GWINN, JM
    SIGPLAN NOTICES, 1992, 27 (02): : 47 - 56
  • [28] Recursion in object-oriented programs
    Blaschek, Gunther
    Frohlich, Joachim Hans
    JOOP - Journal of Object-Oriented Programming, 1998, 11 (07): : 28 - 35
  • [29] A DIAGRAM FOR OBJECT-ORIENTED PROGRAMS
    CUNNINGHAM, W
    BECK, K
    SIGPLAN NOTICES, 1986, 21 (11): : 361 - 367
  • [30] Recursion in object-oriented programs
    Blaschek, G
    Frohlich, JH
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (07): : 28 - 35
12345