OCELOT (Optimal Coverage sEarch-based tooL for sOftware Testing) is a new test suite generator tool for C programs implemented in Java. Unlike previous tools for C programs, OCELOT automatically detects the input types of a given C function without any specification of parameters. In addition, the tool handles the different data types of C, including structs and pointers and it is able to produce test suites based on the Check unit testing framework.
OCELOT implements several meta-heuristics algorithms, included LIPS (Linearly Independent Path-based Search), designed to efficiently use the search budget and re-use profitable information from previous iterations.
Stay tuned! The tool will be soon released on GitHub!
P.s: we have an amazing logo 😎!