JBSE

swMATH46100MaRDI QIDQ5972651FDOQ5972651

Author name not available (Why is that?)

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

Cited In (1)

• Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation

This page was built for software: JBSE