JTDec: A Tool for Tree Decompositions in Soot.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis

Browse the full ATVA paper archive.