Automatically Closing Open Reactive Programs.

Christopher Colby Patrice Godefroid Lalita Jategaonkar Jagadeesan

Published in: PLDI (1998)

Keyphrases

automatically generated
information systems
databases
computer vision
information retrieval
image processing
digital libraries
reactive systems