Stephan Arlt
![]() |
Stephan Arlt
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-021 |
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
- Arlt, S.; Bertolini, C.; Schäf, M.; Banerjee, Ishan; Memon, Atif M.: Grey-box GUI Testing: Efficient Generation of Event Sequences, submitted to ISSTA 2012, International Symposium on Software Testing and Analysis
- Arlt, S.; Schäf, M.: Joogie: Infeasible Code Detection for Java, CAV 2012, Computer Aided Verification
- Arlt, S.; Bertolini, C.; Pahl, S.; Schäf, M.; Trends in Model-based GUI Testing, Advances in Computers, Volume 86
- Arlt, S.; Bertolini, C.; Schäf, M.: Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation, ICSTW 2011, International Conference on Software Testing, Verification and Validation Workshops
- Arlt, S.; Hense, A.: Implementierung zuverlässiger Zahlungssysteme in Java. Entwurf, Realisierung und Test mit der J2EE. Saarbrücken: VDM, 2008. ISBN: 3639052110
Conferences
- 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
- GUITAR, A model-based system for automated GUI testing.
- Joogie Translates Java bytecode to Boogie.
- MensaWidget, Displays the current menu of the Flugplatz-Mensa and the Solarcasino on your Dashboard (Mac) or Desktop (PC).
- Templates, Master Slides for Presentations of the Chair of Software Engineering.
Teaching
- Software Testing, Summer 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
- 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 eLearining-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)

