Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems. - Francesca Saglietti; David Fohrweiser; Stefan Winzinger; Raimar Lill (EUROMICRO-SEAA, 2015)

Reconfiguration Testing for Cooperating Autonomous Agents. - Francesca Saglietti; Stefan Winzinger; Raimar Lill (SAFECOMP Workshops, 2015)

Mutation Testing for Microservices. - Stefan Winzinger (ZEUS, 2018)

Model-based analysis of serverless applications. - Stefan Winzinger; Guido Wirtz (MiSE@ICSE, 2019)

Towards Coverage Criteria for Serverless Applications (short paper). - Stefan Winzinger (ZEUS, 2019)

Applicability of Coverage Criteria for Serverless Applications. - Stefan Winzinger; Guido Wirtz (SOSE, 2020)

When to use FaaS? - Influencing Technical Factors for and against using Serverless Functions. - Robin Lichtenthäler; Stefan Winzinger; Johannes Manner; Guido Wirtz (ZEUS, 2020)

Data Flow Testing of Serverless Functions. - Stefan Winzinger; Guido Wirtz (CLOSER, 2021)

Automatic Test Case Generation for Serverless Applications. - Stefan Winzinger; Guido Wirtz (SOSE, 2022)

A Use Case-based Investigation of Low-Code Development Platforms. - Robin Lichtenthäler; Sebastian Böhm; Johannes Manner; Stefan Winzinger (ZEUS, 2022)

A Comparison of Distributed Tracing Tools in Serverless Applications. - Christina Eder; Stefan Winzinger; Robin Lichtenthäler (SOSE, 2023)

Comparison of Integration Coverage Criteria for Serverless Applications. - Stefan Winzinger; Guido Wirtz (SOSE, 2023)

A Framework for Evaluating Integration Testing Criteria in Serverless Applications. - Stefan Winzinger; Guido Wirtz (CLOSER, 2025)