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)