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

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

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

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

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

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

Slicing based on UML Diagram and Test Case Generation

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i9.95101 ◽

2019 ◽

Vol 7 (9) ◽

pp. 95-101

Author(s):

Venus Grover ◽

Jitender Kumar

Keyword(s):

Test Case Generation ◽

Download Full-text

Model Driven Testing based on Functional Test Case Generation with Redundancy Check

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i2.10161019 ◽

2019 ◽

Vol 7 (2) ◽

pp. 1016-1019

Author(s):

Aadil Farooq ◽

Promod Jadhav ◽

S.D.Joshi .

Keyword(s):

Functional Test ◽

Test Case Generation ◽

Test Case ◽

Model Driven ◽

Model Driven Testing

Download Full-text

Test case generation for path coverage. (c2000)

10.26756/th.2000.9 ◽

2000 ◽

Author(s):

Miran Salame

Keyword(s):

Test Case Generation ◽

Test Case ◽

Download Full-text