@inproceedings{soap14ts4j, author = {Eric Bodden}, title = {{TS4J}: A Fluent Interface for Defining and Computing Typestate Analyses}, booktitle = {3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2014)}, year = 2014, month = jun, url = {https://www.bodden.de/pubs/bodden14ts4j.pdf} }