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