Search for dissertations about: "Jonas Duregård"

Found 2 swedish dissertations containing the words Jonas Duregård.

2. 1. Automating Black-Box Property Based Testing

   Author : Jonas Almström Duregård; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. READ MORE

4. 2. Enumerative Testing and Embedded Languages

   Author : Jonas Almström Duregård; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis explores rapid experimental development of programming languages, with particular emphasis on effective semi-automatic testing. Our results are actualised in two Haskell libraries: BNFC-meta and Feat.BNFC-meta is an extension of the BNF Converter (BNFC) tool. READ MORE