2 results found Sort:
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Created
2014-12-30
2,050 commits to main branch, last one about a year ago
A program slicer for Java, based on the system dependence graph (SDG).
Created
2019-02-18
379 commits to develop branch, last one about a year ago