Support of Advanced Test cOverage Criteria for RObust and Secure Software
The Frama-C Ltest plugins for code-coverage testing:
https://frama-c.com/fc-plugins/ltest.html
The PathCrawler test generator:
https://frama-c.com/fc-plugins/pathcrawler.html
The MERCE automated test generation tool integrated into VS Code IDE: Proprietary
The DeltaTG automatic delta-based test generation tool:
https://github.com/thierry-tct/commit_testgen_semu
The Cerebro tool to select subsuming mutants:
https://github.com/garghub/Cerebro
The muBert mutation testing tool:
https://github.com/rdegiovanni/mbert