Software
Software developed by the lab, openly available under permissive licenses.
We routinely develop software systems to experiment with and evaluate the techniques we develop, and our software is openly available with permissive licensing. We are keen to support uptake by practitioners. If you would like support with the software, please feel free to use the issue trackers in the attached GitHub repositories, or contact the researchers listed below.
Causal Testing Framework
A framework for testing causal relationships in hard-to-test systems such as cyber-physical systems and computational models.
License: MIT — Contacts: Michael Foster, Neil Walkinshaw
CAWSR (Carla Autoware Scenario Runner)
A scenario execution engine built for the testing of Autoware in CARLA on route-based scenarios.
License: MIT — Contacts: Olek Osikowicz, Donghwan Shin
DT-Drive
A tool for removing flakiness from tests of autonomous driving systems in the CARLA framework.
License: MIT — Contacts: Sanjeetha Pennada, Donghwan Shin
Multiplex
A tool for prototyping and comparing LLM-based mutation testing approaches.
License: MIT — Contacts: Megan Maton and Phil McMinn
mutest-rs
A mutation testing framework for Rust.
Main website: mutest.rs · License: Apache 2.0 — Contacts: Zálan Lévai, Donghwan Shin, Phil McMinn
PseudoSweep
A framework to identify pseudo-tested statements in Java code.
License: MIT — Contacts: Megan Maton and Phil McMinn
StateChum
A tool for inferring state machine models from system logs. Generalised implementations of our LTS-Diff state machine differencing engine have been developed externally by Dennis Hendricks at TNO (gLTSdiff).
License: GPL-3.0 — Contacts: Kirill Bogdanov