BRANCH TESTING OF CONCURRENT PROGRAMS USING PETRI NET MODELS

被引：0
|
作者：
HO, HF
CHEN, GH
KUO, TS
机构：
[1] NATL TAIWAN UNIV,DEPT ELECT ENGN,TAIPEI,TAIWAN
[2] NATL TAIWAN UNIV,DEPT COMP SCI & INFORMAT ENGN,TAIPEI,TAIWAN
来源：
COMPUTING SYSTEMS | 1990年 / 5卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：116 / 125
页数：10
相关论文
共 50 条
  • [1] Branch testing of concurrent programs using Petri net models
    Ho, Hong-Fa
    Chen, Gen-Heuy
    Kuo, Te-Son
    Computer Systems Science and Engineering, 1990, 5 (02): : 116 - 125
  • [2] PETRI NET MODELS OF CONCURRENT ADA PROGRAMS
    STANSIFER, R
    MARINESCU, D
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 577 - 594
  • [3] Verification of Concurrent Programs Using Petri Net Unfoldings
    Dietsch, Daniel
    Heizmann, Matthias
    Klumpp, Dominik
    Naouar, Mehdi
    Podelski, Andreas
    Schaetzle, Claus
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 174 - 195
  • [4] Concurrent resolution in logic programming using Petri net models
    Bhattacharya, Alakananda
    Konar, Amit
    Mandal, Ajit K.
    ICCIMA 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, VOL II, PROCEEDINGS, 2007, : 43 - 47
  • [5] Evolving Concurrent Petri Net Models of Epistasis
    Mayo, Michael
    Beretta, Lorenzo
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, PT II, PROCEEDINGS, 2010, 5991 : 166 - +
  • [6] Scenario based Functional Regression Testing using Petri Net Models
    Ahmad, Farooq
    Qaisar, Zahid Hussain
    2013 12TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA 2013), VOL 2, 2013, : 572 - 577
  • [7] Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy
    王生原
    梁英毅
    董渊
    Tsinghua Science and Technology, 2007, (06) : 684 - 690
  • [8] Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy
    Wang, Shengyuan
    Liang, Yingyi
    Dong, Yuan
    Tsinghua Science and Technology, 2007, 12 (06) : 684 - 690
  • [9] Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
    Wei Liu
    Lu Wang
    Yuyue Du
    Maozhen Li
    International Journal of Parallel Programming, 2017, 45 : 879 - 898
  • [10] Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
    Liu, Wei
    Wang, Lu
    Du, Yuyue
    Li, Maozhen
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2017, 45 (04) : 879 - 898
12345