Towards assurance case evidence generation through search based testing: work-in-progress. - Yumeng Cao; Quinn Thibeault; Aniruddh Chandratre; Georgios Fainekos; Giulia Pedrielli; Mauricio Castillo-Effen (EMSOFT, 2021)

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. - Quinn Thibeault; Jacob Anderson; Aniruddh Chandratre; Giulia Pedrielli; Georgios Fainekos (FMICS, 2021)

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. - Giulia Pedrielli; Tanmay Khandait; Surdeep Chotaliya; Quinn Thibeault; Hao Huang 012; Mauricio Castillo-Effen; Georgios Fainekos (CoRR, 2021)

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. - Quinn Thibeault; Tanmay Khandait; Giulia Pedrielli; Georgios Fainekos (CASE, 2023)

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. - Giulia Pedrielli; Tanmay Khandait; Yumeng Cao; Quinn Thibeault; Hao Huang 012; Mauricio Castillo-Effen; Georgios Fainekos (IEEE Trans Autom. Sci. Eng., 2024)

A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic Translation. - Eshita Shukla; Quinn Thibeault; Giulia Pedrielli (ICCPS, 2025)

MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework. - Quinn Thibeault; Giulia Pedrielli (CoRR, 2025)