Non-intrusive Repair of Reactive Programs.

David Harel, Guy Katz, Assaf Marron, Gera Weiss

Browse the full ICECCS paper archive.