Graham Hughes, Tevfik Bultan. Interface grammars for modular software model checking. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 39-49, ACM, 2007. [doi]
Abstract is missing.