SeaCoral is an orchestration tool that is able to combine the power of a wide range of test generation techniques in order to automatically produce tests for your C projects.

Instructions for using SeaCoral in a Docker container are provided in the docker subdirectory.

• Website: https://ocamlpro.com/seacoral
• Sources: https://github.com/ocamlpro/seacoral

Part of this work was supported by the AID ("Agence de l'innovation de défense") through the RAPID ("Régime d'APpui à l'Innovation Duale") project AutoCouv: "Génération automatique de tests par couverture des labels".

Copyright © 2024-2025 OCamlPro