Community Research and Development Information Service - CORDIS


SPECMATE Report Summary

Project ID: 290914
Funded under: FP7-IDEAS-ERC
Country: Germany

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.

Reported by

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top