BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
C.Runciman
Talks about:
function (2) test (2) properti (1) specul (1) result (1) reason (1) discov (1) condit (1) refin (1) inequ (1)

Person: Rudy Braquehais

DBLP DBLP: Braquehais:Rudy

Contributed to:

Haskell 20162016
Haskell 20172017

Wrote 2 papers:

Haskell-2016-BraquehaisR #functional #named #testing
FitSpec: refining property sets for functional testing (RB, CR), pp. 1–12.
Haskell-2017-BraquehaisR #black box #equation #named #reasoning
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results (RB, CR), pp. 40–51.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.