1. Coloured Petri nets for abstract test generation in software engineering. (20th December 2022) Authors: Sobrinho, Álvaro; Almeida, Ially; da Silva, Leandro Dias; Chaves e Silva, Lenardo; Araújo, Adriano; Costa, Tássio Fernandes; Perkusich, Angelo Journal: Software testing, verification & reliability Issue: Volume 33:Number 2(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗