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 条
  • [31] Data Layouts for Object-Oriented Programs
    Hirzel, Martin
    SIGMETRICS'07: PROCEEDINGS OF THE 2007 INTERNATIONAL CONFERENCE ON MEASUREMENT & MODELING OF COMPUTER SYSTEMS, 2007, 35 (01): : 265 - 276
  • [32] AN OBJECT-ORIENTED DESIGN OF FEM PROGRAMS
    KONG, XA
    CHEN, DP
    COMPUTERS & STRUCTURES, 1995, 57 (01) : 157 - 166
  • [33] Object-oriented design of FEM programs
    Kong, X.A.
    Chen, D.P.
    Computers and Structures, 1995, 57 (01): : 157 - 166
  • [34] Intermodular slicing of object-oriented programs
    Steindl, C
    COMPILER CONSTRUCTION, 1998, 1383 : 264 - 278
  • [35] The structured complexity of object-oriented programs
    Fóthi, A
    Nyéky-Gaizler, J
    Porkoláb, Z
    MATHEMATICAL AND COMPUTER MODELLING, 2003, 38 (7-9) : 815 - 827
  • [36] Apportioning: A technique for efficient reachability analysis of concurrent object-oriented programs
    Iyer, S
    Ramesh, S
    FIFTH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 1998, : 124 - 131
  • [37] Declarative specialization of object-oriented programs
    Volanschi, EN
    Consel, C
    Muller, G
    Cowan, C
    ACM SIGPLAN NOTICES, 1997, 32 (10) : 286 - 300
  • [38] Improving the quality of object-oriented programs
    Alexander, RT
    IEEE SOFTWARE, 2001, 18 (05) : 90 - 91
  • [39] A differencing algorithm for object-oriented programs
    Apiwattanapong, T
    Orso, A
    Harrold, MJ
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 2 - 13
  • [40] On regression testing of object-oriented programs
    Kung, DC
    Gao, J
    Hsia, P
    Toyoshima, Y
    Chen, C
    JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (01) : 21 - 40
12345