@Article{tse12automated, author = {Robillard, Martin P. and Eric Bodden and Kawrykow, David and Mezini, Mira and Ratchford, Tristan}, title = {Automated API Property Inference Techniques}, journal = {IEEE Trans. Softw. Eng.}, issue_date = {May 2013}, volume = {39}, number = {5}, month = may, year = {2013}, issn = {0098-5589}, pages = {613--637}, numpages = {25}, doi = {10.1109/TSE.2012.63}, url = {https://www.bodden.de/pubs/rbk+12automated.pdf}, annote = {an VGWort gemeldet}, }