David Faragó

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 15

Top Venues

Softwaretechnik-Trends

VSTTE

CoRR

GI-Jahrestagung

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter
Bericht. Softwaretechnik-Trends 44 (2) (2024)
Jiawei Li, David Faragó, Christian Petrov, Iftekhar Ahmed
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Bernhard Moritz, Mario Winter
Bericht. Softwaretechnik-Trends 43 (3) (2023)
David Faragó, Michael Färber, Christian Petrov
A Full-fledged Commit Message Quality Checker Based on Machine Learning. CoRR (2023)
David Faragó
Engineering A Reliable Prompt For Generating Unit Tests - Prompt engineering for QA & QA for prompt engineering. Softwaretechnik-Trends 43 (3) (2023)
David Faragó, Michael Färber, Christian Petrov
A Full-fledged Commit Message Quality Checker Based on Machine Learning. COMPSAC (2023)
Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Bettina Buth
Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München. Softwaretechnik-Trends 42 (4) (2022)
David Faragó
A High Quality Data Pipeline for Reasonable-Scale Machine Learning. Softwaretechnik-Trends 42 (4) (2022)
Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Wilhelm Ruckdeschel
TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme. GI-Jahrestagung (2021)
David Faragó, Mario Friske, Dehla Sokenou
Towards a Taxonomy for Applying Behavior-Driven Development (BDD). Softwaretechnik-Trends 40 (3) (2020)
Marko Kleine Büning, Carsten Sinz, David Faragó
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. VSTTE (2020)
David Faragó, Dehla Sokenou
Keynote: Microservices Testen - Erfahrungsbericht und Umfrage. Softwaretechnik-Trends 40 (2) (2020)
Benedikt Eberhardinger, David Faragó, Mario Friske, Dehla Sokenou
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT. Softwaretechnik-Trends 36 (3) (2016)
David Faragó
Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil Branche. Softwaretechnik-Trends 35 (1) (2015)
Christian Brandes, Benedikt Eberhardinger, David Faragó, Mario Friske, Baris Güldali, Andrej Pietschker
Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich. Softwaretechnik-Trends 35 (3) (2015)
David Faragó, Florian Merz, Carsten Sinz
Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. Softwaretechnik-Trends 34 (3) (2014)
Alfons Laarman, David Faragó
Improved on-the-Fly Livelock Detection. NASA Formal Methods (2013)
David Faragó
Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing. Softwaretechnik-Trends 31 (1) (2011)
Frank Werner, David Faragó
Correctness of Sensor Network Applications by Software Bounded Model Checking. FMICS (2010)
David Faragó
Model-based Testing in Agile Software Development. Softwaretechnik-Trends 30 (3) (2010)
David Faragó
Improved Underspecification for Model-based Testing in Agile Development. FM+AM (2010)
David Faragó, Peter H. Schmitt
Improving Non-Progress Cycle Checks. SPIN (2009)

David Faragó.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Faragó