Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models.
Peter BunusPeter FritzsonPublished in: ASE (2003)
Keyphrases
- semi automatic
- simulation models
- fault localization
- simulation model
- fully automatic
- physical systems
- model based diagnosis
- agent based simulation
- program understanding
- domain ontology
- gold standard
- simulation tools
- semi automatically
- software testing
- fault detection
- labor intensive
- landmark extraction
- ontology mapping
- data abstraction
- information systems
- program slicing
- formal verification
- programming language
- ontology construction
- general purpose
- wrapper generation
- air cargo
- real world