Analysis of the infeasible path based on key branch

被引：0
|
作者：
Pan, Li-Li [1 ]
Zou, Bei-Ji [2 ]
Wang, Tian-E [3 ]
Chen, Hao [2 ]
机构：
[1] Computer and Information Engineering College, Central South University of Forestry and Technology, Changsha 410004, China
[2] School of Information Science and Engineering, Central South University, Changsha 410083, China
[3] The Commission Institute, Hunan Electric Power Transmission and Substation Construction Company, Changsha 410017, China
来源：
Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology | 2010年 / 36卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：716 / 720
相关论文
共 50 条
  • [1] Research on infeasible branch-based infeasible path in program
    Lili P.
    Tiane W.
    Jiaohua Q.
    International Journal of Digital Content Technology and its Applications, 2011, 5 (05) : 166 - 1747
  • [2] Research on Translucent Mechanism-Based Infeasible Path
    Pan, Lili
    Zou, Baiji
    Chen, Hao
    Zhou, Haoyu
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1076 - +
  • [3] Detection of infeasible path in procedure
    Chen, Rui
    Zhang, Guangmei
    Li, Xiaowei
    Jisuanji Gongcheng/Computer Engineering, 2006, 32 (16): : 86 - 88
  • [4] Path-based branch prediction using signature analysis
    Lee, S.
    Park, I.-C.
    Kyung, C.-M.
    Microprocessors and Microsystems, 1999, 23 (08): : 527 - 536
  • [5] Path-based branch prediction using signature analysis
    Lee, S
    Park, IC
    Kyung, CM
    MICROPROCESSORS AND MICROSYSTEMS, 1999, 23 (8-9) : 527 - 536
  • [6] Convergence analysis of an infeasible interior point algorithm based on a regularized central path for linear complementarity problems
    Zhou, GL
    Toh, KC
    Zhao, GY
    COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2004, 27 (03) : 269 - 283
  • [7] An approach for detecting infeasible paths based on sub-path expansion
    Wang, Hong-Yang
    Jiang, Shu-Juan
    Wang, Xing-Ya
    Ju, Xiao-Lin
    Zhang, Yan-Mei
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2015, 43 (08): : 1555 - 1560
  • [8] A novel approach for infeasible path optimization of distillation-based flowsheets
    Seidel T.
    Hoffmann A.
    Bortz M.
    Scherrer A.
    Burger J.
    Asprion N.
    Küfer K.-H.
    Hasse H.
    Chemical Engineering Science: X, 2020, 7
  • [9] Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution
    Song, Yang
    Zhang, Xuzhou
    Gong, Yun-Zhan
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2020, 2020
  • [10] REDUCING THE EFFECTS OF INFEASIBLE PATHS IN BRANCH TESTING
    YATES, DF
    MALEVRIS, N
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 48 - 54
12345