Narrowing in on property-based testing

QR Code

Narrowing in on property-based testing

Narrowing is one of the primary methods for implementing functional logic programming languages. Property-based testing is an automatic approach to assuring the correctness of software systems. In recent years, a number of systems have been developed that seek to apply the benefits of narrowing in t...

Full description

Bibliographic Details
Main Author:	Fowler, Jonathan
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2019
Subjects:	Functional Programming Computer Science Testing Narrowing Logic Programming
Online Access:	https://eprints.nottingham.ac.uk/57009/

Similar Items

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Multi-modal thin soft robots for narrow space locomotion
by: Wang, Xi
Published: (2024)

Some constructions on ω-groupoids
by: Altenkirch, Thorsten, et al.
Published: (2014)

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

Investigating the use of pure functional programming for agent-based simulation
by: Thaler, Jonathan
Published: (2020)

Automatic randomized test generation strategy for aspect-oriented software
by: Parizi, Reza Meimandi
Published: (2012)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
by: Ramli, Suzaimah
Published: (2002)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Design and simulation of a 3D wing box test rig for static test / Leonard Langking
by: Langking, Leonard
Published: (2010)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Relationship between tinnitus pitch and edge of hearing loss in individuals with a narrow tinnitus bandwidth
by: Sereda, Magdalena, et al.
Published: (2015)

A metamorphic testing approach for supporting program repair without the need for a test oracle
by: Jiang, Mingyue, et al.
Published: (2016)

A novel dual surface type-2 fuzzy logic controller for a micro robot
by: Birkin, Philip
Published: (2010)

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs
by: Bello, AbdulKarim
Published: (2019)

A transformation-based approach to testing concurrent programs using UML activity diagrams
by: Sun, Chang-ai, et al.
Published: (2016)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Smart plant care system using IoT and cloud computing / Muhammad Syamim Samsudin
by: Samsudin, Muhammad Syamim
Published: (2020)

Functional programming and non-distributivity in pathfinding problems
by: Saenz Carrasco, Juan Carlos
Published: (2016)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

Parallel computing via message passing: comparison between Microsoft MPI and Klyng framework / Nik Nasrul Faiz Nik Yahaya
by: Nik Yahaya, Nik Nasrul Faiz
Published: (2017)

Leveraging an open VPN technology to end user / Md Ikhwan Hamdan
by: Hamdan, Md Ikhwan
Published: (2010)

Visualizing requirements using use case diagram and diagram 0 for compound information system / Noorihan Abdul Rahman and Nor Asma Mohd Zin
by: Abdul Rahman, Noorihan, et al.
Published: (2018)

Penghasilan suatu sistem pencerap suhu berautomasi / Hamidi A. Hamid, Mahadzir Hj. Din and Nor Arzami Othman
by: A. Hamid, Hamidi, et al.
Published: (2003)

Comparison of MPI benchmark programs on shared memory and distributed memory machines (point-to-point communication)
by: Abdul Hamid, Nor Asilah Wati, et al.
Published: (2010)

A new exact penalty method for semi-infinite programming problems
by: Lin, Qun, et al.
Published: (2014)

Parallel genetic algorithms for shortest path routing in high- performance computing / Mohd Erman Safawie Che Ibrahim
by: Che Ibrahim, Mohd Erman Safawie
Published: (2012)

Developing web for learning object oriented programming (OOP) using videos / Farah Syazwani Roslan
by: Roslan, Farah Syazwani Roslan
Published: (2020)

School library system using arduino uno and RFID RC-522 / Nur Farah Hanim Raman
by: Raman, Nur Farah Hanim
Published: (2020)

Verbal Helper Application for Autism using Natural Language Processing / Nur Farahin Mohd Affendy
by: Mohd Affendy, Nur Farahin
Published: (2020)

Symmetric encryption using preshared public parameters for a secure TFTP protocol / Nur Nabila Mohamed
by: Mohamed, Nur Nabila
Published: (2015)

The KL sentral virtua reality simulation / Ainun Maziah Saidina Omar
by: Saidina omar, Ainun Maziah
Published: (2004)

Solving a backtracking intelligently : a case study / Muthukkaruppan Annamalai
by: Annamalai, Muthukkaruppan
Published: (2001)

Courseware for primary school Science syllabus in plants life process / Muhammad Hareez Ibrahim
by: Ibrahim, Muhammad Hareez
Published: (2015)

Mobile assisted surah shuffling in solah fardhu / Fatin Adila Mohd Rodzi
by: Mohd Rodzi, Fatin Adila
Published: (2017)

Agent Checker Mobile Apps for G6PD deficiency children using Rule-Based Technique / Umairah Mohd Zan
by: Mohd Zan, Umairah
Published: (2020)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

Bridging the GUI gap with reactive values and relations
by: Perez, Ivan, et al.
Published: (2015)