Tássio Fernandes Costa

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 2

Top Topics

Symbolic Execution

Reference Model

Regression Testing

Test Generation

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)
Tássio Fernandes Costa, Alvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, Angelo Perkusich
A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process. IECON (2019)