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 条
  • [1] Crosscutting invariant and an efficient checking algorithm using program slicing
    Jia, Lv
    Jing, Ying
    hui, Wu Ming
    Hong, Jin Cang
    ACM SIGPLAN NOTICES, 2008, 43 (02) : 12 - 20
  • [2] Using Slicing to Improve the Performance of Model Invariant Checking
    Sun, Wuliang
    Combemale, Benoit
    France, Robert B.
    Blouin, Arnaud
    Baudry, Benoit
    Ray, Indrakshi
    JOURNAL OF OBJECT TECHNOLOGY, 2015, 14 (04): : 1 - 28
  • [3] Efficient Model Checking of Hardware Using Conditioned Slicing
    Vasudevan, Shobha
    Emerson, E. Allen
    Abraham, Jacob A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 279 - 294
  • [4] Efficient program verification using binary trees and program slicing
    Takahashi, M
    Mizukoshi, N
    Tsuda, K
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2004, 3213 : 487 - 493
  • [5] Program slicing for ATPG-based property checking
    Vedula, VM
    Townsend, WJ
    Abraham, JA
    17TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: DESIGN METHODOLOGIES FOR THE GIGASCALE ERA, 2004, : 591 - 596
  • [6] Abstract slicing: A new approach to program slicing based on abstract interpretation and model checking
    Hong, HS
    Lee, I
    Sokolsky, O
    FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 25 - 34
  • [7] Model Checking with Program Slicing Based on Variable Dependence Graphs
    Matsubara, Masahiro
    Sakurai, Kohei
    Narisawa, Fumio
    Enshoiwa, Masushi
    Yamane, Yoshio
    Yamanaka, Hisamitsu
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (105): : 56 - 68
  • [8] EFFICIENT DESIGN RULE CHECKING USING A SCANLINE ALGORITHM
    THOMAS, PR
    BROWN, AD
    IEE PROCEEDINGS-I COMMUNICATIONS SPEECH AND VISION, 1987, 134 (02): : 63 - 69
  • [9] A parallel algorithm for static program slicing
    Danicic, S
    Harman, M
    Sivagurunathan, Y
    INFORMATION PROCESSING LETTERS, 1995, 56 (06) : 307 - 313
  • [10] A monadic slicing algorithm for a program with pointers
    Zhang Y.-Z.
    Wu Z.-Q.
    Qian J.
    Zhang W.-F.
    Xu B.-W.
    Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (03): : 473 - 482
12345