Rudy Matela

Biträdande Universitetslektor
Avdelningen för datavetenskap , Tekniska Högskolan
Presentation Publikationer
För en presentation av Rudy Matela, se engelska presentationsidan.

Doktorsavhandling

Matela Braquehais, R. (2017). Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing (Doctoral thesis). University of York More information

Konferensbidrag

Matela, R. (2021). Express: Applications of dynamically typed Haskell expressions. 14th ACM SIGPLAN International Symposium on Haskell, August 26–27, 2021, Virtual, Republic of Korea. More information
Braquehais, R., Runciman, C. (2017). Extrapolate: Generalizing counterexamples of functional test properties. 29th Symposium on the Implementation and Application of Functional Programming Languages, August 30-September 1, 2017, Bristol, United Kingdom. More information
Braquehais, R., Runciman, C. (2017). Speculate: Discovering conditional equations and inequalities about black-box Functions by reasoning from test results. 10th ACM SIGPLAN International Symposium on Haskell, September 7-8, 2017, Oxford, UK. More information