GUPEA >
IT Faculty / IT-fakulteten >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik >

Formal Methods for Testing Grammars


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/59037

Files in This Item:

File Description SizeFormat
gupea_2077_59037_1.pdfThesis (monograph)1197KbAdobe PDF
View/Open
gupea_2077_59037_2.pdfspikblad107KbAdobe PDF
View/Open
gupea_2077_59037_4.pdfomslag1094KbAdobe PDF
View/Open
Title: Formal Methods for Testing Grammars
Authors: Listenmaa, Inari
E-mail: inari.listenmaa@gmail.com
Issue Date: 15-Feb-2019
University: Göteborgs universitet. IT-fakulteten
Institution: Department of Computer Science and Engineering ; Institutionen för data- och informationsteknik
Date of Defence: 2019-03-08
Disputation: Fredagen den 8 mars 2019, kl. 10.00, EC, EDIT, Hörsalsvägen 11
Degree: Doctor of Philosophy
Publication type: Doctoral thesis
Series/Report no.: 168D
Abstract: 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 inspection. And just like any software, our grammars still contain bugs: grammatical sentences that are rejected, ungrammatical sentences that are parsed, or grammatical sentences that get the wrong parse. This thesis presents two contributions to the analysis and quality contr... more
ISBN: 978-91-7833-323-3
URI: http://hdl.handle.net/2077/59037
Appears in Collections:Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet
Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik

 

 

© Göteborgs universitet 2011