GitHub

TSFinder: machine learning based framework to infer thread-safety of Java classes.

This work is detailed and published in our ASE 2018 paper: Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning. Andrew Habib and Michael Pradel. In Proceedings of the 33rd ...