Lucas Cabral

According to our database, Lucas Cabral authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

RVprio: A tool for prioritizing runtime verification violations.

Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim

Softw. Test. Verification Reliab., 2022