Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo. Introducing Regression Tests and Upgrades to the INTO-CPS Application. In Loek Cleophas, Mieke Massink, editors, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Volume 12524 of Lecture Notes in Computer Science, pages 311-317, Springer, 2020. [doi]
Abstract is missing.