Löfström, T., Löfström, H., Johansson, U., Sönströd, C., Matela, R.
(2025).
Calibrated explanations for regression Machine Learning, 114(4).
More information
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
Ändra din information