News

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)