Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. - Aurora Francesca Zanenga; Nunzio Marco Bisceglia; Benedetta Ippoliti; Andrea Bombarda; Angelo Gargantini; Akshay Rajhans; Claudio Menghi (SIGSOFT FSE Companion, 2025)

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. - Michael Marzella; Andrea Bombarda; Marcello Minervini; Nunzio Marco Bisceglia; Angelo Gargantini; Claudio Menghi (CoRR, 2025)