Pawel Skruch, Marek Dlugosz, Wojciech Mitkowski, Marcin Szelest. A Model-Based Approach to Testing Software Control Systems Described by Linear Differential Equations. In Marek Pawelczyk, Dariusz Bismor, Szymon Ogonowski, Janusz Kacprzyk, editors, Advanced, Contemporary Control - Proceedings of the XXI Polish Control Conference, Gliwice, Poland, 26-29 June 2023, Volume 2. Volume 709 of Lecture Notes in Networks and Systems, pages 215-224, Springer, 2023. [doi]
Abstract is missing.