@Article{bh10sttt, author = {Eric Bodden and Laurie Hendren}, title = {The Clara framework for hybrid typestate analysis}, journal = {International Journal on Software Tools for Technology Transfer (STTT)}, publisher = {Springer}, issn = {1433-2779}, keyword = {Computer Science}, pages = {307-326}, volume = {14}, issue = {3}, note = {10.1007/s10009-010-0183-5}, year = {2012}, url = {https://www.bodden.de/pubs/bl2010clara.pdf}, }