SATOCROSS

Support of Advanced Test cOverage Criteria for RObust and Secure Software

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


back