Rafael S. Braz

According to our database, Rafael S. Braz authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Improving Model Learning by Inferring Separating Sequences from Traces.

Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2021

Improving Model Inference via W-Set Reduction.

Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão

Proceedings of the Testing Software and Systems, 2021