StarFinder

MaRDI QIDQ5972955swMATHFDO

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)

• JBSE
• GanttProject
• JaCoCo
• QSYM

This page was built for software: StarFinder