@inproceedings{WCRE-2013-DaiMLC,
	author        = "Ziying Dai and Xiaoguang Mao and Yan Lei and Liqian Chen",
	booktitle     = "{Proceedings of the 20th Working Conference on Reverse Engineering}",
	doi           = "10.1109/WCRE.2013.6671291",
	editor        = "Ralf Lämmel and Rocco Oliveto and Romain Robbes",
	pages         = "162--171",
	publisher     = "{IEEE}",
	title         = "{Leveraging specifications of subcomponents to mine precise specifications of composite components}",
	year          = 2013,
}