%0 Conference Paper %1 conf/icse/PradelJAG12 %A Pradel, Michael %A Jaspan, Ciera %A Aldrich, Jonathan %A Gross, Thomas R. %B ICSE %D 2012 %E Glinz, Martin %E Murphy, Gail C. %E Pezzè, Mauro %I IEEE Computer Society %K dblp %P 925-935 %T Statically checking API protocol conformance with mined multi-object specifications. %U http://dblp.uni-trier.de/db/conf/icse/icse2012.html#PradelJAG12 %@ 978-1-4673-1067-3

@inproceedings{conf/icse/PradelJAG12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Pradel, Michael and Jaspan, Ciera and Aldrich, Jonathan and Gross, Thomas R.}, biburl = {https://www.bibsonomy.org/bibtex/240ca9b63e9df9ea44d4edc5982ec6d2a/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2012}, editor = {Glinz, Martin and Murphy, Gail C. and Pezzè, Mauro}, ee = {http://dl.acm.org/citation.cfm?id=2337332}, interhash = {46024c51e980e3a9e95468a2044a3077}, intrahash = {40ca9b63e9df9ea44d4edc5982ec6d2a}, isbn = {978-1-4673-1067-3}, keywords = {dblp}, pages = {925-935}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:37:41.000+0200}, title = {Statically checking API protocol conformance with mined multi-object specifications.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2012.html#PradelJAG12}, year = 2012 }