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 条
  • [21] A DIAGRAM FOR OBJECT-ORIENTED PROGRAMS
    CUNNINGHAM, W
    BECK, K
    SIGPLAN NOTICES, 1986, 21 (11): : 361 - 367
  • [22] Recursion in object-oriented programs
    Blaschek, Gunther
    Frohlich, Joachim Hans
    JOOP - Journal of Object-Oriented Programming, 1998, 11 (07): : 28 - 35
  • [23] An efficient method for detecting concurrency errors in object-oriented programs
    HE YanXiang 1
    2 State Key Laboratory of Software Engineering
    ScienceChina(InformationSciences), 2012, 55 (12) : 2774 - 2784
  • [24] Efficient and precise datarace detection for multithreaded object-oriented programs
    Choi, JD
    Lee, KW
    Loginov, A
    O'Callahan, R
    Sarkar, V
    Sridharan, M
    ACM SIGPLAN NOTICES, 2002, 37 (05) : 258 - 269
  • [25] An efficient method for detecting concurrency errors in object-oriented programs
    He YanXiang
    Wu Wei
    Chen Yong
    SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (12) : 2774 - 2784
  • [26] An efficient method for detecting concurrency errors in object-oriented programs
    YanXiang He
    Wei Wu
    Yong Chen
    Science China Information Sciences, 2012, 55 : 2774 - 2784
  • [27] Incremental State-Space Exploration for Programs with Dynamically Allocated Data
    Lauterburg, Steven
    Sobeih, Ahmed
    Marinov, Darko
    Viswanathan, Mahesh
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 291 - 300
  • [28] AN EXECUTION MODEL FOR DISTRIBUTED OBJECT-ORIENTED COMPUTATION
    BENSLEY, EH
    BRANDO, TJ
    PRELLE, MJ
    SIGPLAN NOTICES, 1988, 23 (11): : 316 - 322
  • [29] Using structure-based measurements for predicting execution times of object-oriented programs
    German Natl Research Cent for, Information Technology , St. Augustin, Germany
    Int J Parall Distrib Syst Networks, 3 (118-125):
  • [30] Apportioning: A technique for efficient reachability analysis of concurrent object-oriented programs
    Iyer, S
    Ramesh, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (11) : 1037 - 1056
12345