Franz Wotawa, Vlad Andrei Dumitru. Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging. In Ireneusz Czarnowski, Robert J. Howlett, Lakhmi C. Jain, editors, Intelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference, Virtual Event, June 14-16, 2021. Volume 238 of Smart Innovation, Systems and Technologies, pages 519-529, Springer, 2021. [doi]
Abstract is missing.