Publications

Dissertations

MSc Theses: 1

2019

- Ricardo António Moreira Pereira advised by Mikolas Janota and Vasco Manquinho, New Language for Program Test Generation, MSc Thesis, Nov. 2019 [bibTex]