JTDec: A Tool for Tree Decompositions in Soot

Publication
International Symposium on Automated Technology for Verification and Analysis (ATVA)