Emin Gün Sirer Brian N. Bershad Using production grammars in software testing. 1-13 1999 DSL http://doi.acm.org/10.1145/331960.331965 db/conf/dsl/dsl1999.html#SirerB99