@inproceedings{Reger2013ase,
author={G. Reger and H. Barringer and D. Rydeheard}, 
booktitle={Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on}, 
title={A pattern-based approach to parametric specification mining}, 
year={2013}, 
pages={658-663}, 
month={Nov}
}