most citedPart-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees

5 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2021★ 5 cited

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees

Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya +4

Requirements driven search-based testing (also known as falsification) has proven to be a practical and effective method for discovering erroneous behaviors in Cyber-Physical Syste…