TY - JOUR A1 - Gabor, Thomas A1 - Sedlmeier, Andreas A1 - Phan, Thomy A1 - Ritz, Fabian A1 - Kiermeier, Marie A1 - Belzner, Lenz A1 - Kempter, Bernhard A1 - Klein, Cornel A1 - Sauer, Horst A1 - Schmid, Reiner A1 - Wieghardt, Jan A1 - Zeller, Marc A1 - Linnhoff-Popien, Claudia T1 - The scenario coevolution paradigm BT - adaptive quality assurance for adaptive systems JF - International Journal on Software Tools for Technology Transfer N2 - Systems are becoming increasingly more adaptive, using techniques like machine learning to enhance their behavior on their own rather than only through human developers programming them. We analyze the impact the advent of these new techniques has on the discipline of rigorous software engineering, especially on the issue of quality assurance. To this end, we provide a general description of the processes related to machine learning and embed them into a formal framework for the analysis of adaptivity, recognizing that to test an adaptive system a new approach to adaptive testing is necessary. We introduce scenario coevolution as a design pattern describing how system and test can work as antagonists in the process of software evolution. While the general pattern applies to large-scale processes (including human developers further augmenting the system), we show all techniques on a smaller-scale example of an agent navigating a simple smart factory. We point out new aspects in software engineering for adaptive systems that may be tackled naturally using scenario coevolution. This work is a substantially extended take on Gabor et al. (International symposium on leveraging applications of formal methods, Springer, pp 137–154, 2018). UR - https://doi.org/10.1007/s10009-020-00560-5 Y1 - 2020 UR - https://doi.org/10.1007/s10009-020-00560-5 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-13929 SN - 1433-2787 VL - 22 IS - 4 SP - 457 EP - 476 PB - Springer CY - Berlin ER - TY - CHAP A1 - Phan, Thomy A1 - Belzner, Lenz A1 - Kiermeier, Marie A1 - Friedrich, Markus A1 - Schmid, Kyrill A1 - Linnhoff-Popien, Claudia T1 - Memory Bounded Open-Loop Planning in Large POMDPs Using Thompson Sampling T2 - AAAI-19 / IAAI-19 / EAAI-20 Proceedings UR - https://doi.org/10.1609/aaai.v33i01.33017941 Y1 - 2019 UR - https://doi.org/10.1609/aaai.v33i01.33017941 SN - 2374-3468 VL - 33 IS - 1 SP - 7941 EP - 7948 PB - AAAI Press CY - Palo Alto ER - TY - CHAP A1 - Schmid, Kyrill A1 - Belzner, Lenz A1 - Kiermeier, Marie A1 - Neitz, Alexander A1 - Phan, Thomy A1 - Gabor, Thomas A1 - Linnhoff-Popien, Claudia ED - Trollmann, Frank ED - Turhan, Anni-Yasmin T1 - Risk-sensitivity in simulation based online planning T2 - KI 2018: Advances in Artificial Intelligence : Proceedings UR - https://doi.org/10.1007/978-3-030-00111-7_20 KW - online planning KW - risk-sensitivity KW - local planning Y1 - 2018 UR - https://doi.org/10.1007/978-3-030-00111-7_20 SN - 978-3-030-00111-7 SN - 978-3-030-00110-0 SP - 229 EP - 240 PB - Springer CY - Cham ER - TY - CHAP A1 - Gabor, Thomas A1 - Kiermeier, Marie A1 - Belzner, Lenz ED - Linnhoff-Popien, Claudia ED - Schneider, Ralf ED - Zaddach, Michael T1 - Don’t Lose Control, Stay up to Date: Automated Runtime Quality Engineering T2 - Digital Marketplaces Unleashed UR - https://doi.org/10.1007/978-3-662-49275-8_55 Y1 - 2018 UR - https://doi.org/10.1007/978-3-662-49275-8_55 SN - 978-3-662-49275-8 SN - 978-3-662-49274-1 SP - 619 EP - 630 PB - Springer CY - Berlin ER -