Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging.
Franz WotawaVlad Andrei DumitruPublished in: KES-IDT (2021)
Keyphrases
- model based diagnosis
- hardware designs
- constraint programming
- fault localization
- model based reasoning
- discrete event systems
- source code
- diagnostic reasoning
- dynamic systems
- digital circuits
- java programs
- consistency based diagnosis
- constraint satisfaction problems
- software testing
- software systems
- program slicing
- fault models
- programming language
- physical systems
- software development
- java code
- failure diagnosis
- java virtual machine
- software components
- open source
- unit testing
- object oriented
- cooperative
- model checking