Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation

Embedded and Ubiquitous Computing - Lecture Notes in Computer Science ◽

10.1007/11802167_74 ◽

2006 ◽

pp. 732-741 ◽

Author(s):

JinShan Yu ◽

Tun Li ◽

Yang Guo ◽

QingPing Tan

Keyword(s):

System Level ◽

Test Case Generation ◽

Test Case ◽

Timed Petri Nets

Download Full-text

Scheduling of Transactions under Resource Constraint Based on Extended Preemptive Time Petri Nets for SoC System-Level Test-Case Generation

10.1109/icons.2007.45 ◽

2007 ◽

Author(s):

JinShan Yu ◽

Tun Li ◽

QingPing Tan

Keyword(s):

Resource Constraint ◽

System Level ◽

Test Case Generation ◽

Test Case ◽

Time Petri Nets

Download Full-text

A Recursive Colored Petri Nets semantics for AUML as base of test case generation

2008 IEEE/ACS International Conference on Computer Systems and Applications ◽

10.1109/aiccsa.2008.4493616 ◽

2008 ◽

Author(s):

Yacine Kissoum ◽

Zaidi Sahnoun

Keyword(s):

Colored Petri Nets ◽

Test Case Generation ◽

Download Full-text

Scheduling of transactions for system-level test-case generation

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252489 ◽

2004 ◽

Author(s):

R. Emek ◽

Y. Naveh

Keyword(s):

System Level ◽

Test Case Generation ◽

Download Full-text

Validation of information system models: Petri nets and test case generation

1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation ◽

10.1109/icsmc.1997.633178 ◽

2002 ◽

Author(s):

J. Desel ◽

A. Oberweis ◽

T. Zimmer ◽

G. Zimmermann

Keyword(s):

Information System ◽

Test Case Generation ◽

Test Case ◽

Download Full-text

Test case generation for BPEL-based web service composition using Colored Petri Nets

2016 International Conference on Progress in Informatics and Computing (PIC) ◽

10.1109/pic.2016.7949575 ◽

2016 ◽

Author(s):

Hosney Jahan ◽

Sana Rao ◽

Dongmei Liu

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Colored Petri Nets ◽

Test Case Generation ◽

Download Full-text

Time-Optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets

2009 First International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2009.31 ◽

2009 ◽

Author(s):

Noureddine Adjir ◽

Pierre de Saqui-Sannes ◽

Mustapha Kamel Rahmouni

Keyword(s):

Real Time ◽

Test Case Generation ◽

Test Case ◽

Time Petri Nets ◽

Time Optimal ◽

Download Full-text

Automatic Test Case Generation for General Form Boolean Expressions Based on Predicate-Driven Petri Nets

International Journal of Advancements in Computing Technology ◽

10.4156/ijact.vol3.issue8.17 ◽

2011 ◽

Vol 3 (8) ◽

pp. 146-153

Author(s):

Hongfang Gong ◽

Chuangxia Huang

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Automatic Test Case Generation ◽

Boolean Expressions

Download Full-text

CTFTP: A Test Case Generation Strategy for General Boolean Expressions Based on Ordered Binary Label-Driven Petri Nets

IEEE Access ◽

10.1109/access.2020.3025825 ◽

2020 ◽

Vol 8 ◽

pp. 174516-174529

Author(s):

Hongfang Gong ◽

Junyi Li ◽

Renfa Li

Keyword(s):

Test Case Generation ◽

Test Case ◽

Boolean Expressions

Download Full-text

A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.115.7_914 ◽

1995 ◽

Vol 115 (7) ◽

pp. 914-919

Author(s):

Kazuyuki Mori ◽

Makoto Tsukiyama ◽

Toyoo Fukuda

Keyword(s):

Reduction Method ◽

Timed Petri Nets ◽

Hierarchical Scheduling

Download Full-text

Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e96.a.540 ◽

2013 ◽

Vol E96.A (2) ◽

pp. 540-553

Author(s):

Satoru OCHIIWA ◽

Satoshi TAOKA ◽

Masahiro YAMAUCHI ◽

Toshimasa WATANABE

Keyword(s):

Heuristic Algorithms ◽

Timed Petri Nets

Download Full-text