Stephan Arlt

Stephan Arlt University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-021 +49 761 203 8209

In March 2013, I joined The United Nations University. For up-to-date information, please check my new website.

Research

I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research interests are Software Testing and Static Code Analysis.

Publications

• Black-Box Verification for GUI Applications
  – with Evren Ermis, Sergio Feo-Arenis, and Andreas Podelski.
  (Technical Report)
• Model-based Development of Embedded Systems' User Interfaces
  – with Lena Barth and Bernd Westphal.
  ACES-MB 2012, International Workshop on Model Based Architecting and Construction of Embedded Systems
• Parameterized GUI Tests
  – with Pedro Borromeo, Martin Schäf, and Andreas Podelski.
  ICTSS 2012, International Conference on Testing Software and Systems
• Lightweight Static Analysis for GUI Testing
  – with Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, and Atif Memon.
  ISSRE 2012, International Symposium on Software Reliability Engineering. Supporting Material.
• Infeasible Code Detection for Java
  – with Martin Schäf.
  CAV 2012, Computer Aided Verification
• Trends in Model-based GUI Testing
  – with Cristiano Bertolini, Simon Pahl, and Martin Schäf.
  Advances in Computers, Volume 86
• Grey-box GUI Testing: Efficient Generation of Event Sequences
  – with Cristiano Bertolini, Martin Schäf, Ishan Banerjee, and Atif Memon.
  (Technical Report)
• Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation
  – with Cristiano Bertolini and Martin Schäf.
  ICSTW 2011, International Conference on Software Testing, Verification and Validation Workshops
• Implementierung zuverlässiger Zahlungssysteme in Java. Entwurf, Realisierung und Test mit der J2EE
  – with Andreas Hense.
  VDM, 2008. ISBN: 3639052110

Conferences

• ISSRE 2012, International Symposium on Software Reliability Engineering - November 27-30, 2012, Dallas
• ICTSS 2012, International Conference on Testing Software and Systems - November 19-21, 2012, Aalborg
• CAV 2012, Computer Aided Verification - July 7-13, 2012, Berkeley
• ICST 2011, International Conference on Software Testing, Verification and Validation - March 21, 2011, Berlin
• ICSE 2008, International Conference on Software Engineering - May 10-18, 2008, Leipzig
• CAV 2007, Computer Aided Verification - July 3-7, 2007, Berlin
• Certified Tester, Ein Standard für Softwaretest-Experten - February 27, 2007, Bonn
• SEUH 2007, Software Engineering im Unterricht der Hochschulen - February 22-23, 2007, Stuttgart
• VMCAI 2007, Verification, Model Checking and Abstract Interpretation - January 14-16, 2007, Nizza
• AVACS Projekttreffen - September 25-29, 2006, Oldenburg
• GVD 2006, 2nd German Verification Day - August 31, 2006, Bonn
• STRESS 2006, International Summer School on Tool-based, Rigorous Engineering of Software Systems - May 18-24, 2006, Dortmund

Tools

• Joogie, translates Java bytecode to Boogie.
• GUITAR, a model-based system for automated GUI testing.
• Gazoo, generates parameterized GUI Tests.
• MensaWidget, displays the current menu of the Flugplatz-Mensa and the Solarcasino on your dashboard (Mac), desktop (PC), and iOS device. (not maintained anymore)
• Templates, master slides for presentations of the Chair of Software Engineering. (deprecated: please use the templates provided by the office of public relations)

Teaching

• Testverfahren für Softwaretechnik, Winter Term 2012/2013
• Software Testing, Winter Term 2012/2013
• Model-based Testing and Analysis, Summer Term 2012
• Software Testing, Winter Term 2011/2012
• Software Engineering, Summer Term 2011
• Software Testing, Winter Term 2010/11
• Software Testing, Winter Term 2009/10
• Softwarepraktikum, Summer Term 2009
• Advanced Topics in Software Engineering, Summer Term 2009
• Business Processes, Winter Term 2008/09
• Softwarepraktikum, Summer Term 2007
• Verification, Winter Term 2006/07
• Softwarepraktikum für Hörer aller Fakultäten, Winter Term 2006/07
• Sichere Systeme, Winter Term 2006/07
• Softwarepraktikum, Summer Term 2006

Supervised Theses

• Borromeo, P.: Parameterized GUI Tests (completed 2012)
• Pahl, S.: Automatisierte Grey-Box Testfallgenerierung für GUIs (completed 2011)
• Hummel, S.: The Delphi Method - An Appropriate Approach to Requirements Elicitation? (completed 2011)
• Kacmaz, G.: Ermittlung und Pflege eines Softwareproduktkerns anhand des CaVE-Ansatzes (completed 2011)
• Özer, G.: TaxApp: Analyse und Design einer eLearning-Applikation für mobile Endgeräte (completed 2010)
• Schön, T.: Modellierung einer IT-Infrastruktur auf Basis von freier und proprietärer Software (completed 2009)
• Gazic, C. G.: Modellierung von Anforderungen eines Systems zur Qualitätssicherung (completed 2008)