Interface grammars for modular software model checking.

Graham Hughes, Tevfik Bultan

Browse the full ISSTA paper archive.