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

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

collaborators

2 papers

cs.RO2024

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics

Claire Le Goues, Sebastian Elbaum, David Anthony +7

Robots are experiencing a revolution as they permeate many aspects of our daily lives, from performing house maintenance to infrastructure inspection, from efficiently warehousing…

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…