Final Report Summary - SPECMATE (Specification Mining and Testing) SPECMATE has made seminal achievements in the area of program analysis, extracting specifications from software systems. Its most notable achievements include (1) grammar mining, a technique to automatically infer the input language of arbitrary programs processing serial input; (2) app mining, techniques to infer normal and abnormal apps by comparing advertised and actual behavior; and (3) sandbox mining, a technique to deflect attacks by ensuring apps stick to the behavior mined during test generation. All these successes came from the SPECMATE principle of mining and comparing specifications from multiple instances, either via generated executions or multiple applications.
