| Psy-taliro: A python toolbox for search-based test generation for cyber-physical systems Q Thibeault, J Anderson, A Chandratre, G Pedrielli, G Fainekos Formal Methods for Industrial Critical Systems: 26th International …, 2021 | 19 | 2021 |
| Part-x: A family of stochastic algorithms for search-based test generation with probabilistic guarantees G Pedrielli, T Khandait, Y Cao, Q Thibeault, H Huang, M Castillo-Effen, ... IEEE Transactions on Automation Science and Engineering, 2023 | 11 | 2023 |
| Work-in-progress: towards assurance case evidence generation through search based testing Y Cao, Q Thibeault, A Chandratre, G Fainekos, G Pedrielli, ... 2021 International Conference on Embedded Software (EMSOFT), 41-42, 2021 | 3 | 2021 |
| Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems Q Thibeault, T Khandait, G Pedrielli, G Fainekos 2023 IEEE 19th International Conference on Automation Science and …, 2023 | 1 | 2023 |
| Towards assurance case evidence generation through search based testing: work-in-progress Y Cao, Q Thibeault, A Chandratre, G Fainekos, G Pedrielli, ... Proceedings of the 2021 International Conference on Embedded Software, 41-42, 2021 | 1 | 2021 |
Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
