JaCoCo

MaRDI QIDQ55388swMATHFDO

Official website https://www.jacoco.org/jacoco/

Source code repository https://github.com/jacoco/jacoco

Cited in

(8)

• Enhancing symbolic execution of heap-based programs with separation logic for test input generation
• JBSE
• EvoSuite
• XSat
• JUGE
• QSYM
• StarFinder
• Machine learning steered symbolic execution framework for complex software code

This page was built for software: JaCoCo