Coloured Petri nets for abstract test generation in software engineering
Autor: | Álvaro Sobrinho, Ially Almeida, Leandro Dias da Silva, Lenardo Chaves e Silva, Adriano Araújo, Tássio Fernandes Costa, Angelo Perkusich |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | Software Testing, Verification and Reliability. 33 |
ISSN: | 1099-1689 0960-0833 |
Databáze: | OpenAIRE |
Externí odkaz: |