Community Research and Development Information Service - CORDIS

ERC

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.

Contact

Corinna Hahn, (EU Programme Manager, LEAR)
Tel.: +49 681 95 92 3362
Fax: +49 681 95923370
E-mail
Record Number: 197948 / Last updated on: 2017-05-11