StarFinder

swMATH46099MaRDI QIDQ5972955FDOQ5972955

Author name not available (Why is that?)

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

This page was built for software: StarFinder