Selected papers that cite this one
- Christopher Colby, Patrice Godefroid, and Lalita Jategaonkar Jagadeesan. Automatically closing open reactive programs. In Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation (PLDI), pages 345-357, Montreal, Canada, 17-19 June 1998. SIGPLAN Notices 33(5), May 1998.