Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.
Giulia PedrielliTanmay KhandaitYumeng CaoQuinn ThibeaultHao HuangMauricio Castillo-EffenGeorgios FainekosPublished in: IEEE Trans Autom. Sci. Eng. (2024)