Automated Error-Detection and Repair for Compositional Software Specifications.
Dalal AlrajehRobert CravenPublished in: SEFM (2014)
Keyphrases
- error detection
- fault isolation
- error correction
- error recovery
- error correcting
- written in natural language
- fault tolerance
- data cleansing
- software development
- high level
- software systems
- automated tools
- user interface
- software design
- software quality
- control flow
- error control
- metadata
- software architecture
- multi agent
- multi agent systems
- reactive systems
- source code
- error resilient
- physical systems
- test cases
- software testing