GitHub repository: saiema/ICEBAR
Primary language: Java
Description: ICEBAR, for Iterative Counter Example Guided Alloy Repair, is an automatic Alloy model repair technique based on ARepair. ICEBAR takes a buggy model and a property based oracle (both written in Alloy). It uses the oracle to check the model and strengthen a test suite from counterexamples when found. The buggy model alongside a test suite is passed to ARepair, if a fix is found, this is checked against the property based oracle to check if it's a correct fix, if not, then the process repeats until a given bound.