Failing faster: overlapping patterns for property-based testing

QR Code

Failing faster: overlapping patterns for property-based testing

In property-based testing, a key problem is generating input data that satisfies the precondition of a property. One approach is to attempt to do so automatically, from the definition of the precondition itself. This idea has been realised using the technique of needed narrowing, as in the Lazy Smal...

Full description

Bibliographic Details
Main Authors:	Fowler, Jonathan, Hutton, Graham
Format:	Conference or Workshop Item
Published:	2016
Online Access:	https://eprints.nottingham.ac.uk/38676/

Similar Items

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

Self-test for faster results
by: Tang, Ashley
Published: (2021)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

China’s Weibo: is faster different?
by: Sullivan, Jonathan
Published: (2013)

Towards a theory of reach
by: Fowler, Jonathan, et al.
Published: (2016)

Penukaran Fail-Fail CAD, Penukaran Fail Gerber
by: Lily Tiong, Yu Wen
Published: (2006)

Faster 'Harvast' with UPM product
by: New Straits Times
Published: (2023)

Unimas to enjoy faster Internet connectivity
by: The Borneo Post
Published: (2007)

New cheaper, faster way to heal
by: Chin, Christina
Published: (2019)

Sarah wants to go higher and faster
by: Singh, Aftar
Published: (2022)

Tobaccolympics: Faster, higher, stronger and even smokier...
by: Abd Razak, Dzulkifli
Published: (1996)

UPM develops faster, better screening method
by: Roslam, Muhammad Basir
Published: (2021)

Inoculating a household at a time will be faster
by: New Straits Times
Published: (2021)

Unit ensures no overlaps
by: New Straits Times,
Published: (2008)

Attention deficit hyperactive disorder diagnosis continues to fail the reliability and validity tests
by: Whitely, Martin
Published: (2015)

Change Management: Why change fails? Why Change Failed in Gokul Group of Restaurants.
by: Mohan, Gopal
Published: (2013)

Sleep Faster! (Somebody else needs your blanket..)
by: Anstey, Matthew, et al.
Published: (2012)

Faster algorithms for computing maximal multirepeats in multiple sequences
by: Iliopoulos, Costas, et al.
Published: (2009)

UPM researchers create innovations for faster detection of TB
by: Roslan, Muhammad Basir
Published: (2021)

Stress analysis of overlapped crankshafts
by: Sime, Anthony P.
Published: (1998)

Has modern architecture failed?
by: Omer, Spahic
Published: (2019)

Tobacco targets-doomed to fail?
by: Daube, Mike
Published: (2018)

Thea Astley's Failed Eden
by: Genoni, Paul
Published: (2006)

UMP fail paten terbanyak
by: UMP, .
Published: (2011)

Greed behind failed firms
Published: (2008)

Malaysia not a failed state
by: Chandra, Sarah Hafizah
Published: (2021)

An improved game-theoretic approach to uncover overlapping communities
by: Sun, Hong-Liang, et al.
Published: (2017)

Oil palm tree detection and counting in aerial images based on faster R-CNN
by: Xinni, Liu, et al.
Published: (2020)

Enhanced faster region-based convolutional neural network for oil palm tree detection
by: Liu, Xinni
Published: (2021)

Faster, better, meaner: understanding poverty and globalisation in contemporary Australia
by: D'Arcy, Brett
Published: (2010)

How Cloud Computing can help SMEs to grow faster?
by: Hasan, Ahmed Anwar
Published: (2010)

A hybrid addition chain method for faster scalar multiplication
by: Mohamed, Mohamad Afendee, et al.
Published: (2015)

An extension to artifact-free projection overlaps
by: Lin, Jianyu
Published: (2015)

Understanding the ‘Look but Fail to See’ Error
by: Robbins, Chloe J.
Published: (2019)

Local varsities fail to make it to 'outstanding'
Published: (2010)

Why rural tourism projects fail
by: Sunday Star
Published: (2011)

Good finish despite failed target
by: Singh, Ajitpal
Published: (2017)

A faster learning neural network classifier using selective backpropagation
by: Craven, Michael P.
Published: (1997)

Square patch feature: faster weak-classifier for robust object detection
by: Mohd Mustafah, Yasir, et al.
Published: (2010)

Modeling of small Band-gap CNT for designing of faster switching CNTFET
by: Farhana, Soheli, et al.
Published: (2013)