JBSE

swMATH46100MaRDI QIDQ5972651

No author found.

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

Related Items (1)

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

This page was built for software: JBSE