Refinements for Open Automata. - Rabéa Ameur-Boulifa; Quentin Corradi; Ludovic Henrio; Eric Madelaine (SEFM, 2023)

Automated Feature Testing of Verilog Parsers using Fuzzing (Registered Report). - Quentin Corradi; John Wickerson; George A. Constantinides (FUZZING, 2024)