ATR: template-based repair for Alloy specifications.
Guolong ZhengThanhVu NguyenSimón Gutiérrez BridaGermán RegisNazareno AguirreMarcelo F. FriasHamid BagheriPublished in: ISSTA (2022)
Keyphrases
- automatic target recognition
- set of test images
- motion imagery
- delay insensitive
- target tracking
- high level
- formal specification
- mechanical properties
- neural network
- specification language
- damage assessment
- preventive maintenance
- abdominal aortic aneurysm
- database
- reactive systems
- operational semantics
- failure rate
- finite state machines
- synthetic aperture radar
- sar images
- maximum likelihood