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: Not yet specified
• General Documentation: Not yet specified
• API Documentation: Not yet specified
• Sources: Not yet specified