Modular Software Fault Isolation as Abstract Interpretation.
Frédéric BessonThomas P. JensenJulien LepillerPublished in: SAS (2018)
Keyphrases
- abstract interpretation
- fault isolation
- static analysis
- termination analysis
- software development
- software systems
- fault diagnosis
- diagnostic tests
- error detection
- software quality
- active rules
- model checking
- source code
- software engineering
- artificial intelligence
- software architecture
- physical systems
- active databases
- modeling language
- deductive databases
- dynamic analysis
- code generation
- case study