The SPECMATE Project

The SPECMATE project aims to extract specifications from software systems by means of automated test generation. This large-scale, long-term project is conducted at Saarland University.

Chair of Software Engineering

The chair of software engineering at Saarland University is lead by Andreas Zeller. Andreas Zeller, is one of the world’s leading experts in automated debugging, mining software repositories, and dynamic program analysis.

Read more about the Software Engineering chair at Saarland University

CS @ Saarland University

Saarbrücken is an international research-oriented center for computer science. Researchers at Saarland University cooperate closely with the MPI Informatics, the MPI SWS, the DFKI, and the IVCI.

Read more about computer science at Saarland University

News

October 17, 2011

SPECMATE has obtained an ERC Advanced Grant, Europe's most prestigious research award. This is Germany's first project to obtain an ERC Advanced Grant in the domain of Computer science and Informatics.

The SPECMATE project aims to extract specifications from software systems by means of automated test generation. Within SPECMATE, we develop robust and highly scalable automatic test generators for central domains such as Web sites, mobile apps, or service infrastructures; and we extract behavioral models from systems that allow us to define normal and detect abnormal behavior. This large-scale, long-term project is conducted at Saarland University and funded by

The European Research Council through an ERC Advanced Grant in specification mining
Google, Inc through a Focused Research Award in test case generation
Deutsche Forschungsgemeinschaft through a DFG Research Grant in mutation analysis