Pradel, Michael ; Jaspan, Ciera ; Aldrich, Jonathan ; Gross, Thomas R. (2012):
Statically checking API protocol conformance with mined multi-object specifications.
In: ICSE '12, In: Proceedings of the 34th International Conference on Software Engineering, pp. 925-935,
IEEE Press, Zurich, Switzerland, ISBN 978-1-4673-1067-3,
DOI: 10.1109/ICSE.2012.6227127,
[Conference or Workshop Item]