FitSpec: - Research Database, The University of York

By the same authors

Extrapolate: generalizing counterexamples of functional test properties
Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Cheap Remarks about Concurrent Programs
Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results
Braquehais, R. & Runciman, C., 7 Sep 2017, Proceedings of the ACM SIGPLAN Haskell Symposium 2017. ASSOC COMPUTING MACHINERY, p. 40-51 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs
Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A Reference Interpreter for the Graph Programming Language GP 2
Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

FitSpec: refining property sets for functional testing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Full text download(s)

FitSpec
223 KB, PDF document

Author(s)

Colin Runciman
Rudy Braquehais

Department/unit(s)

Computer Science

Publication details

Title of host publication	Proceedings of 9th International Symposium on Haskell
Date	Published - 2016
Pages	1-12
Number of pages	12
Publisher	ASSOC COMPUTING MACHINERY
Place of Publication	Nara, Japan
Original language	English

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data

The York Research Database

By the same authors

Extrapolate: generalizing counterexamples of functional test properties

Cheap Remarks about Concurrent Programs

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results

A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

A Reference Interpreter for the Graph Programming Language GP 2

FitSpec: refining property sets for functional testing

Full text download(s)

Author(s)

Department/unit(s)

Publication details

Discover related content