Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen. Leveraging specifications of subcomponents to mine precise specifications of composite components. In Ralf Lämmel, Rocco Oliveto, Romain Robbes, editors, 20th Working Conference on Reverse Engineering, WCRE 2013, Koblenz, Germany, October 14-17, 2013. pages 162-171, IEEE, 2013. [doi]
Abstract is missing.