Delta execution for efficient state-space exploration of object-oriented programs

被引：0
|
作者：
University of Illinois, Urbana-Champaign [1 ]
机构：
来源：
ACM Int. Symp. Softw. Test. Anal. | 2007年 / 50-60期
关键词：
D O I：
10.1145/1273463.1273472
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Visualizing object-oriented programs with Jinsight
    De Pauw, W
    Vlissides, J
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 541 - 542
  • [42] MAINTENANCE SUPPORT FOR OBJECT-ORIENTED PROGRAMS
    WILDE, N
    HUITT, R
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (12) : 1038 - 1044
  • [43] Generation of distributed object-oriented programs
    Launay, P
    Pazat, JL
    PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 649 - 654
  • [44] A Refinement Methodology for Object-Oriented Programs
    Tafat, Asma
    Boulme, Sylvain
    Marche, Claude
    FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 153 - +
  • [45] A FRAMEWORK FOR TESTING OBJECT-ORIENTED PROGRAMS
    SMITH, MD
    ROBSON, DJ
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 5 (03): : 45 - 53
  • [46] SUPPORT FOR MAINTAINING OBJECT-ORIENTED PROGRAMS
    LEJTER, M
    MEYERS, S
    REISS, SP
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (12) : 1045 - 1052
  • [47] A testing assistant for object-oriented programs
    Alkadi, IS
    Carver, DL
    1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4, 1998, : 149 - 158
  • [48] Infeasible paths in object-oriented programs
    Tip, Frank
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 91 - 97
  • [49] A State Based Fitness Function for Evolutionary Testing of Object-Oriented Programs
    Bashir, Muhammad Bilal
    Nadeem, Aamer
    SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS 2009, 2009, 253 : 83 - 94
  • [50] Recursive object types in a logic of object-oriented programs
    Leino, KRM
    PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 170 - 184
12345