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 |