Ehemaliger Mitarbeiter
Dipl.-Wirt.Inform. Christoph Lembeck
Kontakt |
 |
||
| Westfälische Wilhelms-Universität Münster |
Persönliche Daten
Geboren am 27.03.1977 in Greven
10/97 bis 04/02 Diplomstudiengang Wirtschaftsinformatik an der Westfälischen Wilhelms-Universität Münster
04/02 bis 09/02 Datenbankprogrammierer bei der dbap GmbH, Münster
10/02 bis 09/06 Wissenschaftlicher Mitarbeiter am Lehrstuhl für praktische Informatik in der Wirtschaft
Lehre
Wintersemester 2002/2003
- Übungen zu Informatik I
- Seminar: Sicherheit im Internet
Sommersemester 2003
- Projektseminar: Entwicklung eines Werkzeugs zum Glassbox-Testen
Wintersemester 2003/2004
- Seminar: Informatik und Recht
- Grundzüge der theoretischen Informatik
Sommersemester 2004
- Seminar: Programmiersprachen
Wintersemesster 2004/2005
- Informatik I: Programmierung
- Seminar: Softwaretechnik
Sommersemester 2005
- Seminar: Enterprise Architecture Management
Wintersemester 2005/2006
- Seminar: Variantenmanagement
- Seminar: Ausgewählte Kapitel des Software Engineerings insb. Formale Spezifikation
- Übungen zu Software Engineering
Sommersemester 2006
Veröffentlichungen
- H. Kuchen, C. Lembeck, R.A. Müller: Automatische Erzeugung von Testfällen. Softwaretechnik-Trends, Band 26(2), Mai 2006.
- C. Lembeck, R.A. Müller, Herbert Kuchen: Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. In: INFORMATIK 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. LNI Vol. 51. Springer 2004.
- C. Lembeck, R. Caballero, R. Müller, H.Kuchen: Constraint Solving for Generating Glass-Box Test Cases. Proceedings of International Workshop on Functional and (Constraint) Logic Programming (WFLP). Aachen, Juni 2004.
- R.A. Müller, C. Lembeck, H. Kuchen: Generating Glass-Box Test cases using a symbolic virtual machine. Proceedings of the IASTED International Conference on Software Engineering (IASTED SE 2004). Innsbruck, 17.-19. Februar 2004.
- R. Müller, C. Lembeck, H. Kuchen: GlassTT - a Symbolic Java Virtual Machine Using Constraint Solving Techniques for Glass-Box Test Case Generation. Arbeitsbericht Nummer 102. Universität Münster, Department of Information Systems, November 2003.
christoph.lembeck@wi.uni-muenster.de
