Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging. - Franz Wotawa; Vlad Andrei Dumitru (KES-IDT, 2021)

The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles. - Franz Wotawa; Vlad Andrei Dumitru (IEA/AIE, 2022)