TS4J: A Fluent Interface for Defining and Computing Typestate Analyses

Bodden, Eric

TS4J: A Fluent Interface for Defining and Computing Typestate Analyses (bibtex)

@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}
}