David Faragó
David Faragó
Verified email at kit.edu
TitleCited byYear
Correctness of sensor network applications by software bounded model checking
F Werner, D Faragó
International Workshop on Formal Methods for Industrial Critical Systems …, 2010
82010
Improved on-the-fly livelock detection
A Laarman, D Faragó
NASA Formal Methods Symposium, 32-47, 2013
62013
Improved on-the-fly livelock detection
A Laarman, D Faragó
NASA Formal Methods Symposium, 32-47, 2013
62013
Modellbasiertes Testen: Hype oder Realität?
S Weißleder, B Güldali, M Mlynarski, AM Törsel, D Faragó, F Prester, ...
Objekt Spektrum, 59, 2011
62011
Improving non-progress cycle checks
D Faragó, PH Schmitt
International SPIN Workshop on Model Checking of Software, 50-67, 2009
62009
Model checking of randomized leader election algorithms
D Faragó
Master's thesis, Universität Karlsruhe, 2007
52007
Improved underspecification for model-based testing in agile development
D Faragó
FM+ AM2010–Second International Workshop on Formal Methods and Agile Methods, 2010
32010
Model-based testing in agile software development
D Faragó
30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV …, 2010
32010
Nondeterministic coverage metrics as key performance indicator for model-and value-based testing
D Faragó
Treffen der GI-Fachgruppe Test, Analyse and Verifikation von Software (TAV), 2011
22011
Model Checking and Model-Based Testing - Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations
D Faragó
https://publikationen.bibliothek.kit.edu/1000059473, 2016
12016
Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich
C Brandes, B Eberhardinger, D Faragó, M Friske, B Güldali, A Pietschker
12015
Automatic heavy-weight static analysis tools for finding bugs in safety-critical embedded C/C++ code
D Farago, F Merz, C Sinz
Softwaretechnik-Trends 34.3, 2014
12014
Lazy On-the-fly Model-Based Testing
D Faragó
Test, Analyse und Verifikation von Software–gestern, heute, morgen, 93, 2017
2017
Model Checking and Model-Based Testing
D Faragó
2016
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT
B Eberhardinger, D Farago, M Friske, D Sokenou
Softwaretechnik-Trends 36 (3), 2016
2016
Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche
D Faragó
2015
Mitarbeiter
D Farago
David Farago, 2013
2013
Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt
D Faragó, AM Törsel, M Mlynarski, S Weißleder, B Güldali, C Brandes
OBJEKTspektrum, 32-39, 2013
2013
Teaching
D Farago
David Farago, 2012
2012
Theses
D Farago
David Farago, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20