Crosscutting invariant and an efficient checking algorithm using program slicing

被引：0
|
作者：
College of Computer Science and Technology, Zhejiang University, Hangzhou, China [1 ]
机构：
来源：
ACM SIGPLAN Not. | 2008年 / 2卷 / 12-20期
关键词：
16;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Certifying Software Robustness Using Program Slicing
    Abdallah, Mohammad
    Munro, Malcolm
    Gallagher, Keith
    2010 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2010,
  • [42] Using Program Slicing to Detect the Dead Code
    AlAbwaini, Nour
    Alda'aje, Amal
    Jaber, Tamara
    Abdallah, Mohammad
    Tamimi, Abdelfatah
    2018 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (CSIT), 2018, : 230 - 233
  • [43] Untangling Composite Commits Using Program Slicing
    Muylaert, Ward
    De Roover, Coen
    2018 IEEE 18TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2018, : 193 - 202
  • [44] Static program transformations for efficient software model checking
    Vasudevan, S
    Abraham, JA
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 257 - 281
  • [45] Problem identification using program checking
    Collberg, CS
    Proebsting, TA
    DISCRETE APPLIED MATHEMATICS, 2004, 144 (03) : 270 - 280
  • [46] Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
    Choi, Yunja
    Park, Mingyu
    Byun, Taejoon
    Kim, Dongwoo
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 103 : 51 - 70
  • [47] A novel and efficient algorithm using local invariant feature for sar image registration
    Jin, Bin
    Zhou, Wei
    Cong, Yu
    Wang, Guoqing
    Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2014, 46 (11): : 112 - 118
  • [48] Efficient forward model checking algorithm for ω-regular properties
    Iwashita, H
    Nakata, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (11) : 2448 - 2454
  • [49] AN EFFICIENT ALGORITHM FOR CHECKING THE ROBUST STABILITY OF A POLYTOPE OF POLYNOMIALS
    SIDERIS, A
    MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 1991, 4 (03) : 315 - 337
  • [50] Dependence-cache slicing: A program slicing method using lightweight dynamic information
    Takada, T
    Ohata, F
    Inoue, K
    10TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2002, : 169 - 177
12345