Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: 2019 | 2017 | 2016
Number of items: 4.

2019

Fowler, Jonathan (2019) Narrowing in on property-based testing. PhD thesis, University of Nottingham.

2017

Capretta, Venanzio and Fowler, Jonathan (2017) The continuity of monadic stream functions. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '17 . pp. 1-12. ISSN 1043-6871

2016

Fowler, Jonathan and Hutton, Graham (2016) Failing faster: overlapping patterns for property-based testing. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, 18-20 Jan 2017, Paris, France. (In Press)

Fowler, Jonathan and Hutton, Graham (2016) Towards a theory of reach. Lecture Notes in Computer Science, 9547 . pp. 22-39. ISSN 0302-9743

This list was generated on Sat Dec 21 07:10:03 2024 UTC.