Marco Grochowski, Marcus Völker, Stefan Kowalewski. Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. In Jan Friso Groote, Marieke Huisman, editors, Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Volume 13487 of Lecture Notes in Computer Science, pages 137-154, Springer, 2022. [doi]
Abstract is missing.