Coloured Petri nets for abstract test generation in software engineering-Reference-Cited by-同舟云学术

Coloured Petri nets for abstract test generation in software engineering

Published:2022-12-20 Issue:2 Volume:33 Page:
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Software Testing Verif & Rel

Author:

Sobrinho Álvaro¹²^ORCID,Almeida Ially¹^ORCID,da Silva Leandro Dias¹^ORCID,Chaves e Silva Lenardo³^ORCID,Araújo Adriano¹^ORCID,Costa Tássio Fernandes¹^ORCID,Perkusich Angelo⁴^ORCID

Affiliation:

1. Computing Institute Federal University of Alagoas Maceió Brazil

2. Computer Science Federal University of the Agreste of Pernambuco Garanhuns Brazil

3. Computer Department Federal Rural University of the Semiarid Mossoró Brazil

4. Virtus Research, Development and Innovation Center, Embedded and Pervasive Computing Laboratory Federal University of Campina Grande Campina Grande Brazil

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.1837

Reference56 articles.

1. Test Oracle Strategies for Model-Based Testing

2. Colored Petri nets

3. MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

4. CPN simulation-based test case generation from controlled natural-language requirements

5. FarooqU LamCP LiH.Towards automated test sequence generation. In19th australian conference on software engineering (aswec 2008).IEEE Computer Society 2008;441–450.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A coloured Petri nets-based system for validation of biomedical signal acquisition devices;The Journal of Supercomputing;2024-03-18

2. Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net;IET Software;2024-01