@Inproceedings{EPTCS182.6, author = {Peake, Ian D. and Blech, Jan Olaf and Fernando, Lasith and Sharma, Divyasheel and Ramaswamy, Srini and Kande, Mallikarjun}, year = {2015}, title = {Analysis of Software Binaries for Reengineering-Driven Product Line Architecture---An Industrial Case Study}, editor = {Atlee, Joanne M. and Gnesi, Stefania}, booktitle = {{\rm Proceedings 6th Workshop on} Formal Methods and Analysis in SPL Engineering, {\rm London, UK, 11 April 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {182}, publisher = {Open Publishing Association}, pages = {71-82}, doi = {10.4204/EPTCS.182.6}, }