Publications

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems

Python source code instrumentation to improve coverage of generated tests.

Read more →

August 26, 2023

Part-X: A family of stochastic algorithms for search-based test generation with probabilistic guarantees

Stochastic algorithm for search-based test generation with probabalistic guarantees.

Read more →

August 15, 2023

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

Python toolbox for search-based test generation

Read more →

June 4, 2021