| QPR verify: a static analysis tool for embedded software based on bounded model checking M Kleine Büning, C Sinz, D Faragó International Workshop on Numerical Software Verification, 21-32, 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 |
| Improving non-progress cycle checks D Faragó, PH Schmitt Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 9 | 2009 |
| 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 | 7 | 2011 |
| Model-based testing in agile software development D Faragó Softwaretechnik-Trends Band 30, Heft 3, 2010 | 6 | 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 | 5 | 2024 |
| 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 |
| 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 | 3 | 2023 |
| Automatic heavy-weight static analysis tools for finding bugs in safety-critical embedded C/C++ code D Farago, F Merz, C Sinz Softwaretechnik-Trends Band 34, Heft 3, 2014 | 3 | 2014 |
| Improved underspecification for model-based testing in agile development D Faragó FM+ AM2010–Second International Workshop on Formal Methods and Agile Methods …, 2010 | 3 | 2010 |
| Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT B Eberhardinger, D Farago, M Friske, D Sokenou Softwaretechnik-Trends Band 36, Heft 3, 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 |
| Engineering A Reliable Prompt For Generating Unit Tests-Prompt engineering for QA & QA for prompt engineering D Faragó Softwaretechnik-Trends Band 43, Heft 3, 2023 | 1 | 2023 |
| Keynote: Microservices Testen-Erfahrungsbericht und Umfrage D Faragó, D Sokenou Softwaretechnik-Trends Band 40, Heft 2, 2020 | 1 | 2020 |
| Nondeterministic Coverage Metrics as Key Performance Indicator for Model-and Value-based Testing D Faragó Softwaretechnik-Trends Band 31, Heft 1, 2011 | 1 | 2011 |
| Optimization is Better than Generation: Optimizing Commit Message Leveraging Human-written Commit Message J Li, D Faragó, C Petrov, I Ahmed arXiv preprint arXiv:2501.09861, 2025 | | 2025 |
| ATDLLMD: Acceptance test-driven LLM development D Faragó Softwaretechnik-Trends Band 44, Heft 2, 2024 | | 2024 |
Alfons LaarmanLeiden UniversityOverená e-mailová adresa na: liacs.leidenuniv.nl