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