Quinn Thibeault

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Quality Assurance

Search Based Testing

Cyber Physical Systems

Test Generation

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. IEEE Trans Autom. Sci. Eng. 21 (3) (2024)
Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. CASE (2023)
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. CoRR (2021)
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. CoRR (2021)
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. FMICS (2021)
Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen
Towards assurance case evidence generation through search based testing: work-in-progress. EMSOFT (2021)