Truss: Testing Reachability Using Support Sets

Source code (FMCAD'17): (tar.gz)

Source code (HWMCC'17): (tar.gz)

Current source code is available on github

Results (FMCAD'17): (xlsx)

README