Jonathan Fowler

I'm a PhD student in the functional programming lab at the University of Nottingham, supervised by Graham Hutton. My PhD investigates techniques to generate data for property-based testing. One approach is to generate data directly from the precondition of a property. I research realisations of this approach based on the concept of narrowing from functional logic programming.

 

Publications

Failing Faster: Overlapping Patterns for Property-Based Testing - pdf
Jonathan Fowler and Graham Hutton (PADL2017).

Towards a Theory of Reach - pdf
Jonathan Fowler and Graham Hutton (TFP2015).

The Continuity of Monadic Stream Functions - pdf
Venanzio Capretta and Jonathan Fowler (Submitted for review to LICS2017)

 

Contact

Email: psxjf@nottingham.ac.uk
Github: https://github.com/JonFowler