David Faragó

According to our database, David Faragó authored at least 18 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Full-fledged Commit Message Quality Checker Based on Machine Learning.

David Faragó, Michael Färber, Christian Petrov

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

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 High Quality Data Pipeline for Reasonable-Scale Machine Learning.

David Faragó

Softwaretechnik-Trends, 2022

2021

TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme.

Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Wilhelm Ruckdeschel

Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020

Keynote: Microservices Testen - Erfahrungsbericht und Umfrage.

David Faragó, Dehla Sokenou

Softwaretechnik-Trends, 2020

Towards a Taxonomy for Applying Behavior-Driven Development (BDD).

David Faragó, Mario Friske, Dehla Sokenou

Softwaretechnik-Trends, 2020

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking.

Marko Kleine Büning, Carsten Sinz, David Faragó

Proceedings of the Software Verification - 12th International Conference, 2020

2016

Model Checking and Model-Based Testing: Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations.

David Faragó

PhD thesis, 2016

Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT.

Benedikt Eberhardinger, David Faragó, Mario Friske, Dehla Sokenou

Softwaretechnik-Trends, 2016

2015

Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil Branche.

David Faragó

Softwaretechnik-Trends, 2015

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

2014

Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code.

David Faragó, Florian Merz, Carsten Sinz

Softwaretechnik-Trends, 2014

2013

Improved on-the-Fly Livelock Detection.

Alfons Laarman, David Faragó

Proceedings of the NASA Formal Methods, 2013

2011

Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing.

David Faragó

Softwaretechnik-Trends, 2011

2010

Model-based Testing in Agile Software Development.

David Faragó

Softwaretechnik-Trends, 2010

Correctness of Sensor Network Applications by Software Bounded Model Checking.

Frank Werner, David Faragó

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Improved Underspecification for Model-based Testing in Agile Development.

David Faragó

Proceedings of the FM+AM 2010, 2010

2009

Improving Non-Progress Cycle Checks.

David Faragó, Peter H. Schmitt

Proceedings of the Model Checking Software, 2009