Login / Signup
Adriano Araújo
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Quality Assurance
Test Generation
Mutation Testing
Coloured Petri Nets
Top Venues
Softw. Test. Verification Reliab.
</>
Publications
</>
Alvaro Sobrinho
,
Ially Almeida
,
Leandro Dias da Silva
,
Lenardo Chaves e Silva
,
Adriano Araújo
,
Tássio Fernandes Costa
,
Angelo Perkusich
Coloured Petri nets for abstract test generation in software engineering.
Softw. Test. Verification Reliab.
33 (2) (2023)