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.
Scientific Publications
Search-based Synthesis of Equivalent Method Sequences
by Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè and Paolo Tonella.
FSE 2014: Proceedings of the International Conference on the Foundations of Software Engineering.
[ pdf, bibtex ]
On the Efficiency of Automated Testing
by Marcel Böhme and Soumya Paul.
FSE 2014: Proceedings of the International Conference on the Foundations of Software Engineering.
[ pdf, bibtex ]
Automated Unit Test Generation for Classes with Environment Dependencies
by Andrea Arcuri, Gordon Fraser and Juan Pablo Galeotti.
ASE 2014: Proceedings of the International Conference on Automated Software Engineering.
[ pdf, bibtex ]
Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution
by Juan Pablo Galeotti, Gordon Fraser and Andrea Arcuri.
ISSTA 2014: Proceeding of the International Symposium on Software Testing and Analysis.
[ pdf, bibtex ]
CoREBench: Studying Complexity of Regression Errors
by Marcel Böhme and Abhik Roychoudhury.
ISSTA 2014: International Symposium on Software Testing and Analysis.
[ pdf, bibtex ]
JTACO: Test Execution for Faster Bounded Verification
by Alexander Kampmann, Juan Pablo Galeotti and Andreas Zeller.
TAP 2014: 8th International Conference on Tests and Proofs.
[ pdf, bibtex ]
Test generation across multiple layers
by Matthias Höschele, Juan Pablo Galeotti and Andreas Zeller.
SBST 2014: Proceedings of the 7th International Workshop on Search-Based Software Testing.
[ pdf, bibtex ]
Search-based security testing of web applications
by Julian Thomé, Alessandra Gorla and Andreas Zeller.
SBST 2014: Proceedings of the 7th International Workshop on Search-Based Software Testing.
[ pdf, bibtex ]
Checking app behavior against app descriptions
by Alessandra Gorla, Ilaria Tavecchia, Florian Gross and Andreas Zeller.
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering.
[ pdf, bibtex ]
Cross-checking Oracles from Intrinsic Software Redundancy
by Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli and Mauro Pezzè.
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering.
[ pdf, bibtex ]
Improving Search-based Test Suite Generation with Dynamic Symbolic Execution
by Juan Pablo Galeotti, Gordon Fraser and Andrea Arcuri.
ISSRE 2013: Proceedings of the International Symposium on Software Reliability Engineering.
[ pdf, bibtex ]
Search-based data-flow test generation
by Mattia Vivanti, Andre Mis, Alessandra Gorla and Gordon Fraser.
ISSRE 2013: Proceedings of the International Symposium on Software Reliability Engineering.
[ pdf, bibtex ]
Automatic Recovery from Runtime Failures
by Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino and Mauro Pezzè.
ICSE 2013: Proceedings of the 35th International Conference on Software Engineering.
[ pdf, bibtex ]
Search-based system testing: high coverage, no false alarms
by Florian Gross, Gordon Fraser and Andreas Zeller.
ISSTA 2012: Proceedings of the 2012 International Symposium on Software Testing and Analysis.
[ pdf, bibtex ]
WebMate: a tool for testing web 2.0 applications
by Valentin Dallmeier, Martin Burger, Tobias Orth and Andreas Zeller.
JSTools 2012: Proceedings of the Workshop on JavaScript Tools.
[ pdf, bibtex ]
EXSYST: search-based GUI testing
by Florian Gross, Gordon Fraser and Andreas Zeller.
ICSE 2012: Proceedings of the 34th International Conference on Software Engineering.
[ pdf, bibtex ]
Dissemination Activities
Detecting Software Errors Using Genetic Algorithms
(Communications of the ACM Online, 10/03/2014)
Softwarequalität: Mit genetischen Algorithmen automatisch Fehler finden
(Heise.de, 05/03/2014)
Copied from nature: Detecting software errors via genetic algorithms
(Science Daily, 05/03/2014)
Keine Chance für bösartige Apps
(ARD-Mittagsmagazin, 28/02/2014)
Neue Software entlarvt Spionage-Apps
(SR Aktueller Bericht , 20/02/2014)
Systematic Testing with EXSYST
(CeBIT Fair Hanover, March 2012)
Testing Android Apps with DROIDMATE
(CeBIT Fair Hanover, March 2013)
Testing Web 2.0 Apps with WEBMATE
(CeBIT Fair Hanover, March 2013)
Generating Structured Inputs with XMLMATE
(CeBIT Fair Hanover, March 2014)