Mario Friske

According to our database1, Mario Friske authored at least 19 papers between 2005 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München.
Softwaretechnik-Trends, 2022

2021
TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme.
Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020
Modellbasierte Testdatenspezikation und -generierung mittels Äquivalenzklassen und SQL.
Softwaretechnik-Trends, 2020

Das Test Object Management Framework (TOMF).
Softwaretechnik-Trends, 2020

Towards a Taxonomy for Applying Behavior-Driven Development (BDD).
Softwaretechnik-Trends, 2020

2016
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT.
Softwaretechnik-Trends, 2016

2015
Anwendungsfallbasierte Testfallherstellung mit der UCV-Methode.
Softwaretechnik-Trends, 2015

Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich.
Softwaretechnik-Trends, 2015

2013
Fehlermanagement in Großprojekten ~ Erfahrungen und Best Practices.
Softwaretechnik-Trends, 2013

2008
Verifkation und Test des PROFIsafe-Sicherheitsprofils.
Softwaretechnik-Trends, 2008

Composition of Model-based Test Coverage Criteria.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Strukturelle Testabdeckung funktionaler Spezifikationen.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2007
Improving Test Coverage for UML State Machines Using Transition Instrumentation.
Proceedings of the Computer Safety, 2007

Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2006
Interaktive Aufbereitung von Anforderungen für den modellbasierten Test.
Softwaretechnik-Trends, 2006

Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Evaluation von Transformationsmaschinen in der modellbasierten Qualitiätssicherung.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005


  Loading...