Improving Non-Progress Cycle Checks. - David Faragó; Peter H. Schmitt (SPIN, 2009)

Improved Underspecification for Model-based Testing in Agile Development. - David Faragó (FM+AM, 2010)

Correctness of Sensor Network Applications by Software Bounded Model Checking. - Frank Werner 004; David Faragó (FMICS, 2010)

Model-based Testing in Agile Software Development. - David Faragó (Softwaretechnik-Trends, 2010)

Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing. - David Faragó (Softwaretechnik-Trends, 2011)

Improved on-the-Fly Livelock Detection. - Alfons Laarman; David Faragó (NASA Formal Methods, 2013)

Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. - David Faragó; Florian Merz 001; Carsten Sinz (Softwaretechnik-Trends, 2014)

Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich. - Christian Brandes; Benedikt Eberhardinger; David Faragó; Mario Friske; Baris Güldali; Andrej Pietschker (Softwaretechnik-Trends, 2015)

Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil Branche. - David Faragó (Softwaretechnik-Trends, 2015)

Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT. - Benedikt Eberhardinger; David Faragó; Mario Friske; Dehla Sokenou (Softwaretechnik-Trends, 2016)

Model Checking and Model-Based Testing: Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations. - David Faragó (2016)

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. - Marko Kleine Büning; Carsten Sinz; David Faragó (VSTTE, 2020)

Towards a Taxonomy for Applying Behavior-Driven Development (BDD). - David Faragó; Mario Friske; Dehla Sokenou (Softwaretechnik-Trends, 2020)

Keynote: Microservices Testen - Erfahrungsbericht und Umfrage. - David Faragó; Dehla Sokenou (Softwaretechnik-Trends, 2020)

TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme. - Dehla Sokenou; Mario Friske; Baris Güldali; David Faragó; Mario Winter; Wilhelm Ruckdeschel (GI-Jahrestagung, 2021)

A High Quality Data Pipeline for Reasonable-Scale Machine Learning. - David Faragó (Softwaretechnik-Trends, 2022)

Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München. - Dehla Sokenou; Mario Friske; Baris Güldali; David Faragó; Mario Winter; Bettina Buth (Softwaretechnik-Trends, 2022)

A Full-fledged Commit Message Quality Checker Based on Machine Learning. - David Faragó; Michael Färber 001; Christian Petrov (COMPSAC, 2023)

Engineering A Reliable Prompt For Generating Unit Tests - Prompt engineering for QA & QA for prompt engineering. - David Faragó (Softwaretechnik-Trends, 2023)

Bericht. - Dehla Sokenou; Mario Friske; Baris Güldali; David Faragó; Bernhard Moritz; Mario Winter (Softwaretechnik-Trends, 2023)

Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model. - Jiawei Li 013; David Faragó; Christian Petrov; Iftekhar Ahmed 001 (Proc. ACM Softw. Eng., 2024)

Acceptance test-driven LLM development. - David Faragó (Softwaretechnik-Trends, 2024)

Bericht. - Dehla Sokenou; Mario Friske; Baris Güldali; David Faragó; Mario Winter (Softwaretechnik-Trends, 2024)

Optimization is Better than Generation: Optimizing Commit Message Leveraging Human-written Commit Message. - Jiawei Li 013; David Faragó; Christian Petrov; Iftekhar Ahmed 001 (CoRR, 2025)

Shift Right Testen - Eine Annäherung. - Dierk Ehmke; David Faragó; Mario Friske; A. Heppner; W. Schmidt; Jörg Sievers; Dehla Sokenou (Softwaretechnik-Trends, 2025)

Bericht. - Dehla Sokenou; Mario Friske; Baris Güldali; David Faragó (Softwaretechnik-Trends, 2025)

Consider What Humans Consider: Optimizing Commit Message Leveraging Contexts Considered By Human. - Jiawei Li 013; David Faragó; Christian Petrov; Iftekhar Ahmed 001 (CoRR, 2025)