JBSE

swMATH46100MaRDI QIDQ5972651FDOQ5972651

Author name not available (Why is that?)

Official website: https://pietrobraione.github.io/jbse/

Source code repository: https://github.com/pietrobraione/jbse

Cited In (5)

• StarFinder
• Enhancing symbolic execution of heap-based programs with separation logic for test input generation
• GanttProject
• JaCoCo
• QSYM

This page was built for software: JBSE