@inproceedings{tillmann-chen-schulte-2006-icfem, author={Nikolai Tillmann and Feng Chen and Wolfram Schulte}, title={Discovering Likely Method Specifications}, booktitle={Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM'06)}, publisher={Springer-Verlag}, series={LNCS}, volume = to appear, year={2006} }