Mario Concilio Neto

Publication Activity (10 Years)

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

Top Topics

Symbolic Execution

Database Machine

Top Venues

Softw. Test. Verification Reliab.

Publications

Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo
On subsumption relationships in data flow testing. Softw. Test. Verification Reliab. 33 (6) (2023)
Mario Concilio Neto, Roberto P. A. Araujo, Marcos Lordello Chaim, Jeff Offutt
Graph Representation for Data Flow Coverage. COMPSAC (2021)