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 条
  • [11] Visualising the execution of concurrent object-oriented programs dynamically using UML
    Leroux, H
    Exton, C
    WSCG '2001: SHORT COMMUNICATIONS AND POSTERS, 2001, : SH114 - SH119
  • [12] CrocoPat: Efficient pattern analysis in object-oriented programs
    Beyer, D
    Lewerentz, C
    IWPC 2003: 11TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, 2003, : 294 - 295
  • [13] Time and space efficient method-lookup for object-oriented programs (extended abstract)
    Muthukrishnan, S
    Muller, M
    PROCEEDINGS OF THE SEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 1996, : 42 - 51
  • [14] Object-oriented parallel execution model
    Zhu, Genjiang
    Xie, Li
    Sun, Zhongxiu
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1998, 26 (02): : 103 - 105
  • [15] Execution patterns in object-oriented visualization
    De Pauw, W
    Lorenz, D
    Vlissides, J
    Wegman, M
    PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 219 - 234
  • [16] 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
  • [17] Encapsulation in object-oriented programs
    Chen, JL
    Wang, FJ
    ACM SIGPLAN NOTICES, 1996, 31 (07) : 30 - 32
  • [18] Slicing object-oriented programs
    Chen, JL
    Wang, FJ
    Chen, YL
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 395 - 404
  • [19] OBJECT-ORIENTED PROGRAMS IN REALTIME
    GWINN, JM
    SIGPLAN NOTICES, 1992, 27 (02): : 47 - 56
  • [20] Recursion in object-oriented programs
    Blaschek, G
    Frohlich, JH
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (07): : 28 - 35
12345