Bounded Exhaustive Search of Alloy Specification Repairs.
Simón Gutiérrez BridaGermán RegisGuolong ZhengHamid BagheriThanhVu NguyenNazareno AguirreMarcelo F. FriasPublished in: ICSE (2021)
Keyphrases
- exhaustive search
- dynamic programming
- brute force
- simulated annealing
- computational complexity
- solution space
- integrity constraints
- nearest neighbor search
- computationally feasible
- search space
- specification language
- search methods
- consistent query answering
- machine learning
- room temperature
- high level
- search algorithm
- processing cost