Quinn Thibeault

According to our database, Quinn Thibeault authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

2023

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.

Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

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, Mauricio Castillo-Effen, Georgios Fainekos

CoRR, 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

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

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

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021