TY  - RPRT
TI  - Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees
AU  - Giulia Pedrielli
AU  - Tanmay Khandait
AU  - Surdeep Chotaliya
AU  - Quinn Thibeault
AU  - Hao Huang
AU  - Mauricio Castillo-Effen
AU  - Georgios Fainekos
PY  - 2021
UR  - https://arxiv.org/abs/2110.10729
ID  - 2110.10729
ER  -