Follow
David Faragó
David Faragó
Verified email at kit.edu
Title
Cited by
Cited by
Year
Improved on-the-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for dfs FIFO
A Laarman, D Faragó
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
82013
Correctness of sensor network applications by software bounded model checking
F Werner, D Faragó
Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010
82010
Improving non-progress cycle checks
D Faragó, PH Schmitt
Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009
82009
QPR verify: a static analysis tool for embedded software based on bounded model checking
M Kleine Büning, C Sinz, D Faragó
Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020
72020
Modellbasiertes Testen: Hype oder Realität?
S Weißleder, B Güldali, M Mlynarski, AM Törsel, D Faragó, F Prester, ...
OBJEKTSpektrum, 2011
62011
Model-based testing in agile software development
D Faragó
30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV …, 2010
62010
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
Towards a Taxonomy for Applying Behavior-Driven Development (BDD).
D Faragó, M Friske, D Sokenou
Softwaretechnik-Trends 40 (3), 3-7, 2020
22020
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT
B Eberhardinger, D Farago, M Friske, D Sokenou
Softwaretechnik-Trends 36 (3), 2016
22016
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
22015
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
22014
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
22013
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
Keynote: Microservices Testen-Erfahrungsbericht und Umfrage.
D Faragó, D Sokenou
Softwaretechnik-Trends 40 (2), 50-53, 2020
12020
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
Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche
D Faragó
12015
TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme
D Sokenou, M Friske, B Güldali, D Faragó, M Winter, W Ruckdeschel
INFORMATIK 2021, 2021
2021
Lazy On-the-fly Model-Based Testing
D Faragó
Test, Analyse und Verifikation von Software–gestern, heute, morgen, 93, 2017
2017
Mitarbeiter
D Farago
David Farago, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20