Quentin Corradi

According to our database, Quentin Corradi authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Automated Feature Testing of Verilog Parsers using Fuzzing (Registered Report).

Quentin Corradi, John Wickerson, George A. Constantinides

Proceedings of the 3rd ACM International Fuzzing Workshop, 2024

2023

Refinements for Open Automata.

Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023