Coloured Petri nets for abstract test generation in software engineering. - Alvaro Sobrinho; Ially Almeida; Leandro Dias da Silva; Lenardo Chaves e Silva; Adriano Araújo; Tássio Fernandes Costa; Angelo Perkusich (Softw. Test. Verification Reliab., 2023)