Automate test-data generation in C

OCELOT is a multi-platform tool for test data generation in C. Specify the function to test and OCELOT will generate skeletons of test cases for you. Just add assertions and you are ready to test.

Documentation Tool Demo Paper @ ASE '18



Generate tests on Linux, MacOS and Windows

For researchers

Experiment new approaches on OCELOT

For practitioners

CLion plugin available for download soon

Contact us

Contact us to learn more about OCELOT