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.

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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • CoREBench: Studying Complexity of Regression Errors by Marcel Böhme and Abhik Roychoudhury. ISSTA 2014: International Symposium on Software Testing and Analysis. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • 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. [ pdfbibtex ]
  • EXSYST: search-based GUI testing by Florian Gross, Gordon Fraser and Andreas Zeller. ICSE 2012: Proceedings of the 34th International Conference on Software Engineering. [ pdfbibtex ]

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)