Now showing items 1-1 of 1

    • Formal Methods for Testing Grammars 

      Listenmaa, Inari (2019-02-15)
      Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual ...