Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.
Simón Gutiérrez BridaGermán RegisGuolong ZhengHamid BagheriThanhVu NguyenNazareno AguirreMarcelo F. FriasPublished in: ICSE (Companion Volume) (2021)
Keyphrases
- exhaustive search
- dynamic programming
- brute force
- computational complexity
- search space
- nearest neighbor search
- computationally feasible
- solution space
- simulated annealing
- search methods
- high level
- lower bound
- mechanical properties
- integrity constraints
- formal specification
- specification language
- neural network
- database