Follow
David Faragó
David Faragó
Verified email at kit.edu
Title
Cited by
Cited by
Year
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
102020
Correctness of sensor network applications by software bounded model checking
F Werner, D Faragó
Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010
92010
Improved on-the-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for dfsFIFO
A Laarman, D Faragó
NASA Formal Methods Symposium, 32-47, 2013
82013
Modellbasiertes Testen: Hype oder Realität?
S Weißleder, B Güldali, M Mlynarski, AM Törsel, D Faragó, F Prester, ...
OBJEKTSpektrum, 2011
82011
Improving non-progress cycle checks
D Faragó, PH Schmitt
Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009
82009
Model-based testing in agile software development
D Faragó
Geselllschaft für Informatik eV, 2010
62010
Model checking of randomized leader election algorithms
D Faragó
Master's thesis, Universität Karlsruhe, 2007
52007
Towards a taxonomy for applying behavior-driven development (bdd)
D Faragó, M Friske, D Sokenou
Softwaretechnik-Trends Band 40, Heft 3, 3-7, 2020
42020
Automatic heavy-weight static analysis tools for finding bugs in safety-critical embedded C/C++ code
D Farago, F Merz, C Sinz
Geselllschaft für Informatik eV, 2014
32014
Improved underspecification for model-based testing in agile development
D Faragó
Gesellschaft für Informatik eV, 2010
32010
Only diff is not enough: Generating commit messages leveraging reasoning and action of large language model
J Li, D Faragó, C Petrov, I Ahmed
Proceedings of the ACM on Software Engineering 1 (FSE), 745-766, 2024
22024
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT
B Eberhardinger, D Farago, M Friske, D Sokenou
Geselllschaft für Informatik eV, 2016
22016
Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche
D Faragó
22015
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
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ó
Geselllschaft für Informatik eV, 2011
22011
A Full-fledged Commit Message Quality Checker Based on Machine Learning
D Faragó, M Färber, C Petrov
2023 IEEE 47th Annual Computers, Software, and Applications Conference …, 2023
12023
Engineering A Reliable Prompt For Generating Unit Tests-Prompt engineering for QA & QA for prompt engineering
D Faragó
Gesellschaft für Informatik eV, 2023
12023
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
The system can't perform the operation now. Try again later.
Articles 1–20