| 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 | 10 | 2020 |
| Correctness of sensor network applications by software bounded model checking F Werner, D Faragó Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010 | 9 | 2010 |
| 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 | 8 | 2013 |
| Modellbasiertes Testen: Hype oder Realität? S Weißleder, B Güldali, M Mlynarski, AM Törsel, D Faragó, F Prester, ... OBJEKTSpektrum, 2011 | 8 | 2011 |
| Improving non-progress cycle checks D Faragó, PH Schmitt Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 8 | 2009 |
| Model-based testing in agile software development D Faragó Geselllschaft für Informatik eV, 2010 | 6 | 2010 |
| Model checking of randomized leader election algorithms D Faragó Master's thesis, Universität Karlsruhe, 2007 | 5 | 2007 |
| Towards a taxonomy for applying behavior-driven development (bdd) D Faragó, M Friske, D Sokenou Softwaretechnik-Trends Band 40, Heft 3, 3-7, 2020 | 4 | 2020 |
| 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 | 3 | 2014 |
| Improved underspecification for model-based testing in agile development D Faragó Gesellschaft für Informatik eV, 2010 | 3 | 2010 |
| 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 | 2 | 2024 |
| Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT B Eberhardinger, D Farago, M Friske, D Sokenou Geselllschaft für Informatik eV, 2016 | 2 | 2016 |
| Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche D Faragó | 2 | 2015 |
| 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 | 2 | 2015 |
| 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 | 2 | 2013 |
| Nondeterministic Coverage Metrics as Key Performance Indicator for Model-and Value-based Testing D Faragó Geselllschaft für Informatik eV, 2011 | 2 | 2011 |
| 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 | 1 | 2023 |
| Engineering A Reliable Prompt For Generating Unit Tests-Prompt engineering for QA & QA for prompt engineering D Faragó Gesellschaft für Informatik eV, 2023 | 1 | 2023 |
| Keynote: Microservices Testen-Erfahrungsbericht und Umfrage. D Faragó, D Sokenou Softwaretechnik-Trends 40 (2), 50-53, 2020 | 1 | 2020 |
| 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 | 1 | 2016 |
Alfons LaarmanLeiden UniversityVerified email at liacs.leidenuniv.nl
