Dipl.-Inform. David Faragó
- wiss. Mitarbeiter
- Raum: 308
- Tel.: +49 721 608-47322< /span>
- Fax: +49 721 608-44211
- faragoLld7∂kit edu
- Am Fasanengarten 5
Gebäude 50.34
D-76131 Karlsruhe
Aktivitäten in der Wissenschaftlichen Gesellschaft
OC-Mitglied QuoMBaT 2013
stellv. Sprecher des GI-Arbeitskreises TOOP/MBT
Im Team der Model-Based-Testing-Community
(Das Forum über den Modellprüfer SPIN wird nun von spinroot (Gerard Holzmann) betreut) 
| Titel | Autor(en) | Quelle |
|---|---|---|
| Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFS-FIFO | Alfons Laarman, David Faragó |
Proceedings of the 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, CA, USA, May 14-16, 2013. LNCS, Springer, 2013. |
| Coverage Criteria for Nondeterministic Systems | testing experience, The Magazine for Professional Testers; 3/2010: Metrics, pages 104-106; Díaz & Hilterscheid, September 2010; ISSN 1866-5705. |
|
| Improved Underspecification for Model-based Testing in Agile Development | Lecture Notes in Informatics (LNI) Volume P-179 - Proceedings of the Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). |
|
| Model-based Testing in Agile Software Development | 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), Testing meets Agility. 17.06.2010 |
|
| Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing | 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), am 3. und 4. Februar 2011 in Paderborn. Testing in modern IT-Contexts, ROI und KPIs des Testens. |
|
| Model Checking and Model-Based Testing - Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations | David Faragó |
Doctoral dissertation |
| neuere Veröffentlichungen unter: https://scholar.google.de/citations?user=y9a9I4AAAAAJ&hl=en | David Faragó |
|
| Improving Non-Progress Cycle Checks | Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. LNCS, vol. 5578, pp. 50-67. Springer, Heidelberg (2009). |
|
| Wann lohnt sich modellbasiertes Testen? | David Faragó, Arne-Michael Törsel, Michael Mlynarski, Stephan Weißleder, Baris Güldali, Christian Brandes |
OBJEKTspektrum, Ausgabe 04/13 |
| Correctness of Sensor Network Applications by Software Bounded Model Checking | Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. LNCS 6371, Springer, 2010. |
|
| Modellbasiertes Testen: Hype oder Realität? | Stephan Weißleder, Baris Güldali, Michael Mlynarski, Arne-Michael Törsel, David Faragó, Florian Prester, Mario Winter |
Objekt Spektrum, Ausgabe 06/2011, Aktuelle Trends. |
| Titel | Typ | Betreuer |
|---|---|---|
| Average-Case Analyse randomisierter Algorithmen | Studienarbeit | Dr. Thomas Worsch |
| Model Checking of Randomized Leader Election Algorithms | Diplomarbeit |
| Titel | Typ | Autor | Jahr |
|---|---|---|---|
| A Case Study for Lazy On-The-Fly Model Based Testing | Studienarbeit | Felix Kutzner |
04.02.2014 |
| Improved constraint specification and solving for Lazy On-The-Fly | Bachelorarbeit | Florian Larysch |
2012 |
| Eine Fallstudie zu modellbasiertem Testen von Webservices | Diplomarbeit | Alexander Pascanu |
2010 |
| Titel | Typ | Semester | Ort |
|---|---|---|---|
| Praktikum Formale Entwicklung objektorientierter Software | Praktikum (P) | WS 12/13 | |
| Formale Systeme | Vorlesung / Übung (VÜ) | WS 12/13 | |
| Praktikum Formale Entwicklung objektorientierter Software | Praktikum (P) | WS 11/12 | |
| Seminar Formale Systeme und Methoden | Seminar (S) | WS 11/12 | |
| Formale Systeme | Vorlesung / Übung (VÜ) | WS 11/12 | |
| Formal Methods: Best of 2010 | Seminar | Hauptdiplom | Gebäude 50.34, SR 131 |
| Formale Entwicklung objektorientierter Software (WS 10/11) | Praktikum | Raum 305 |
|
| Formale Programmentwicklung (SS 10) | Seminar | ||
| Formale Entwicklung objektorientierter Software (WS 09/10) | Praktikum | Raum 305 | |
| Modellprüfung und modellbasiertes Testen (SS 09) | Seminar | ||
| Formale Modellierung in Sensornetzen (SS 08) | Seminar | ||
| Formale Systeme (WS 07/08) | Vorlesung |