LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.
-
Updated
Aug 4, 2023 - Java
LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.
Code for student-code guided test case generation for CS Education.
SIEGE is an automated test case generator targeting any method in the classpath
Add a description, image, and links to the test-case-generation topic page so that developers can more easily learn about it.
To associate your repository with the test-case-generation topic, visit your repo's landing page and select "manage topics."