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 条
  • [21] A Stack-Slicing Algorithm for Multi-Core Model Checking
    Holzmann, Gerard J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 3 - 16
  • [22] Efficient scaling-invariant checking of timed bisimulation
    Weise, C
    Lenzkes, D
    STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 177 - 188
  • [23] From Invariant Checking to Invariant Inference Using Randomized Search
    Sharma, Rahul
    Aiken, Alex
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 88 - 105
  • [24] From invariant checking to invariant inference using randomized search
    Sharma, Rahul
    Aiken, Alex
    FORMAL METHODS IN SYSTEM DESIGN, 2016, 48 (03) : 235 - 256
  • [25] From invariant checking to invariant inference using randomized search
    Rahul Sharma
    Alex Aiken
    Formal Methods in System Design, 2016, 48 : 235 - 256
  • [26] Using Relational Verification for Program Slicing
    Beckert, Bernhard
    Bormer, Thorsten
    Gocht, Stephan
    Herda, Mihai
    Lentzsch, Daniel
    Ulbrich, Mattias
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 353 - 372
  • [27] Using program slicing to simplify testing
    Harman, Mark
    Danicic, Sebastian
    Software Testing Verification and Reliability, 1995, 5 (03) : 143 - 162
  • [28] Using program slicing in software maintenance
    Gallagher, Keith Brian, 1600, (17):
  • [29] USING PROGRAM SLICING IN SOFTWARE MAINTENANCE
    GALLAGHER, KB
    LYLE, JR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (08) : 751 - 761
  • [30] Improved program slicing algorithm pplied to instruction semantic
    Fang, Xia
    Yin, Qing
    Jiang, Liehui
    Zhou, Bo
    2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES: ITESS 2008, VOL 4, 2008, : 560 - 563
12345