Items where authors include "Braquehais, Rudy"

Proceedings Paper

Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (2018) Extrapolate: generalizing counterexamples of functional test properties. In: IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. UNSPECIFIED. ACM , New York . (In Press)

Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (2017) Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. In: Proceedings of the ACM SIGPLAN Haskell Symposium 2017. UNSPECIFIED. ACM , pp. 40-51.

Runciman, Colin orcid.org/0000-0002-0151-3233 and Braquehais, Rudy (2016) FitSpec: : refining property sets for functional testing. In: Proceedings of 9th International Symposium on Haskell. UNSPECIFIED. ACM , Nara, Japan , pp. 1-12.