Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl. Counterexample Guided Inductive Repair of Reactive Contracts. In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021. pages 1190-1192, IEEE, 2021. [doi]
Abstract is missing.