Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application

Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach. Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. IEEE Software, 29(6):62-69, 2012. [doi]

Abstract

Abstract is missing.