Automatically Closing Open Reactive Programs.

Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan

Browse the full PLDI paper archive.