Klovo

Klovo allows software to evolve safely and securely, by providing automated patch impact analysis consisting of actionable insights such as coverage reports, automatically generated test cases, and code fix suggestions. Klovo is run by a team of research scientists from the Software Reliability Group at Imperial College London specialised in automated software testing and analysis.

Using cutting-edge technologies such as Symbolic Execution, Coverage-Guided Fuzzing, and Large Language Models, we want to help you test and improve your software painlessly. We have extensive experience not just from decades of academic research, but also from maintaining the premier open-source Symbolic Execution engine KLEE.