David Faragó - RankMe

31 papers B 1C 1Journal 22Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Bericht. Softwaretechnik-Trends Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó
2025	J	`jnl`	Bericht. Softwaretechnik-Trends Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó
2025	J	`jnl`	Consider What Humans Consider: Optimizing Commit Message Leveraging Contexts Considered By Human. CoRR Jiawei Li, David Faragó, Christian Petrov, Iftekhar Ahmed
2025	J	`jnl`	From Vibe to Vise Coding: Addressing the AI-Generated Code Quality Crisis. Softwaretechnik-Trends David Faragó
2025	J	`jnl`	Optimization is Better than Generation: Optimizing Commit Message Leveraging Human-written Commit Message. CoRR Jiawei Li, David Faragó, Christian Petrov, Iftekhar Ahmed
2025	J	`jnl`	Shift Right Testen - Eine Annäherung. Softwaretechnik-Trends Dierk Ehmke, David Faragó, Mario Friske, A. Heppner, W. Schmidt, Jörg Sievers, Dehla Sokenou
2024	J	`jnl`	Acceptance test-driven LLM development. Softwaretechnik-Trends David Faragó
2024	J	`jnl`	Bericht. Softwaretechnik-Trends Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter
2024	J	`jnl`	Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model. Proc. ACM Softw. Eng. Jiawei Li, David Faragó, Christian Petrov, Iftekhar Ahmed
2023	B	`conf`	A Full-fledged Commit Message Quality Checker Based on Machine Learning. COMPSAC David Faragó, Michael Färber, Christian Petrov
2023	J	`jnl`	A Full-fledged Commit Message Quality Checker Based on Machine Learning. CoRR David Faragó, Michael Färber, Christian Petrov
2023	J	`jnl`	Bericht. Softwaretechnik-Trends Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Bernhard Moritz, Mario Winter
2023	J	`jnl`	Engineering A Reliable Prompt For Generating Unit Tests - Prompt engineering for QA & QA for prompt engineering. Softwaretechnik-Trends David Faragó
2022	J	`jnl`	A High Quality Data Pipeline for Reasonable-Scale Machine Learning. Softwaretechnik-Trends David Faragó
2022	J	`jnl`	Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München. Softwaretechnik-Trends Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Bettina Buth
2021	—	`conf`	TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme. GI-Jahrestagung Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Wilhelm Ruckdeschel
2020	J	`jnl`	Keynote: Microservices Testen - Erfahrungsbericht und Umfrage. Softwaretechnik-Trends David Faragó, Dehla Sokenou
2020	—	`conf`	QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. VSTTE Marko Kleine Büning, Carsten Sinz, David Faragó
2020	J	`jnl`	Towards a Taxonomy for Applying Behavior-Driven Development (BDD). Softwaretechnik-Trends David Faragó, Mario Friske, Dehla Sokenou
2016	J	`jnl`	Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT. Softwaretechnik-Trends Benedikt Eberhardinger, David Faragó, Mario Friske, Dehla Sokenou
2016	—	`—`	Model Checking and Model-Based Testing: Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations. David Faragó
2015	J	`jnl`	Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich. Softwaretechnik-Trends Christian Brandes, Benedikt Eberhardinger, David Faragó, Mario Friske, Baris Güldali, Andrej Pietschker
2015	J	`jnl`	Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil Branche. Softwaretechnik-Trends David Faragó
2014	J	`jnl`	Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. Softwaretechnik-Trends David Faragó, Florian Merz, Carsten Sinz
2014	—	`ed.`	Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, JAMAICA@ISSTA 2014, San Jose, CA, USA, July 21, 2014 JAMAICA@ISSTA Christof J. Budnik, Gabriella Carrozza, David Faragó, Baris Güldali, Barath Kumar, Vittorio Manetti, Roberto Pietrantuono, Stephan Weißleder
2013	—	`conf`	Improved on-the-Fly Livelock Detection. NASA Formal Methods Alfons Laarman, David Faragó
2011	J	`jnl`	Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing. Softwaretechnik-Trends David Faragó
2010	C	`conf`	Correctness of Sensor Network Applications by Software Bounded Model Checking. FMICS Frank Werner, David Faragó
2010	—	`conf`	Improved Underspecification for Model-based Testing in Agile Development. FM+AM David Faragó
2010	J	`jnl`	Model-based Testing in Agile Software Development. Softwaretechnik-Trends David Faragó
2009	—	`conf`	Improving Non-Progress Cycle Checks. SPIN David Faragó, Peter H. Schmitt