Improved on-the-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for dfs FIFO A Laarman, D Faragó NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 8 | 2013 |
Correctness of sensor network applications by software bounded model checking F Werner, D Faragó Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010 | 8 | 2010 |
Improving non-progress cycle checks D Faragó, PH Schmitt Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 8 | 2009 |
QPR verify: a static analysis tool for embedded software based on bounded model checking M Kleine Büning, C Sinz, D Faragó Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020 | 7 | 2020 |
Modellbasiertes Testen: Hype oder Realität? S Weißleder, B Güldali, M Mlynarski, AM Törsel, D Faragó, F Prester, ... OBJEKTSpektrum, 2011 | 6 | 2011 |
Model-based testing in agile software development D Faragó 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV …, 2010 | 6 | 2010 |
Model checking of randomized leader election algorithms D Faragó Master's thesis, Universität Karlsruhe, 2007 | 5 | 2007 |
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 |
Towards a Taxonomy for Applying Behavior-Driven Development (BDD). D Faragó, M Friske, D Sokenou Softwaretechnik-Trends 40 (3), 3-7, 2020 | 2 | 2020 |
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT B Eberhardinger, D Farago, M Friske, D Sokenou Softwaretechnik-Trends 36 (3), 2016 | 2 | 2016 |
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 |
Automatic heavy-weight static analysis tools for finding bugs in safety-critical embedded C/C++ code D Farago, F Merz, C Sinz Softwaretechnik-Trends 34.3, 2014 | 2 | 2014 |
Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt D Faragó, AM Törsel, M Mlynarski, S Weißleder, B Güldali, C Brandes OBJEKTspektrum, 32-39, 2013 | 2 | 2013 |
Nondeterministic Coverage Metrics as Key Performance Indicator for Model-and Value-based Testing D Faragó Treffen der GI-Fachgruppe Test, Analyse and Verifikation von Software (TAV), 2011 | 2 | 2011 |
Keynote: Microservices Testen-Erfahrungsbericht und Umfrage. D Faragó, D Sokenou Softwaretechnik-Trends 40 (2), 50-53, 2020 | 1 | 2020 |
Model Checking and Model-Based Testing - Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations D Faragó https://publikationen.bibliothek.kit.edu/1000059473, 2016 | 1 | 2016 |
Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche D Faragó | 1 | 2015 |
TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme D Sokenou, M Friske, B Güldali, D Faragó, M Winter, W Ruckdeschel INFORMATIK 2021, 2021 | | 2021 |
Lazy On-the-fly Model-Based Testing D Faragó Test, Analyse und Verifikation von Software–gestern, heute, morgen, 93, 2017 | | 2017 |
Mitarbeiter D Farago David Farago, 2016 | | 2016 |