StarFinder

swMATH46099MaRDI QIDQ5972955FDOQ5972955

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1712.06025

Source code repository: https://github.com/star-finder/jpf-star

Described by source

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

Cited In (4)

• GanttProject
• JaCoCo
• QSYM
• JBSE

This page was built for software: StarFinder