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

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

collaborators
Showing 2021Show all

2 papers · 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…

cs.SE2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems

Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre +2

In this paper, we present the Python package PSY-TaLiRo which is a toolbox for temporal logic robustness guided falsification of Cyber-Physical Systems (CPS). PSY-TaLiRo is a compl…