Combining Program Slicing and Algorithmic Debugging to Diagnose a PLC program.
Mohammed BaniyounisAlMutazbellah MesmarPublished in: SSD (2019)
Keyphrases
- program slicing
- fault localization
- model based diagnosis
- description languages
- source code
- formal verification
- reverse engineering
- description language
- dynamic systems
- data abstraction
- control system
- artificial intelligence
- constraint programming
- fault diagnosis
- software testing
- open source
- object oriented
- feature selection
- information systems