search

softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

GTR Delta Debugger integrated with Soundness Testing #33

Closed TurgutKursun closed 1 year ago