Towards a theory of reach

QR Code

Towards a theory of reach

When testing a program, there are usually some parts that are rarely executed and hence more difficult to test. Finding inputs that guarantee that such parts are executed is an example of a reach problem, which in general seeks to ensure that targeted parts of a program are always executed. In previ...

Full description

Bibliographic Details
Main Authors:	Fowler, Jonathan, Hutton, Graham
Format:	Article
Published:	Springer Verlag 2016
Online Access:	https://eprints.nottingham.ac.uk/32700/

Similar Items

Failing faster: overlapping patterns for property-based testing
by: Fowler, Jonathan, et al.
Published: (2016)

CyberReach Project Research Report
by: Hyde, Zoe, et al.
Published: (2006)

CyberReach: peer-based health promotion outreach on the internet
by: Hallett, Jonathan, et al.
Published: (2005)

Cyber Reach: Peer-based mental health promotion outreach on the internet
by: Hallett, Jonathan, et al.
Published: (2005)

A Calculational Theory of Pers as Types
by: Hutton, Graham, et al.
Published: (1992)

Reach Magazine
by: Ab Rahman, Syakir Amir
Published: (2019)

Reaching for the stars
by: Rajaendram, Rebecca
Published: (2019)

Reaching out to the world
by: New Straits Times,
Published: (2011)

Boosters not reaching seniors
by: Zainal, Fatimah, et al.
Published: (2022)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Native games with a global reach
by: Abdul Razak, Dzulkifli
Published: (2019)

A Body Is Always Reaching: Essay
by: Godfrey, Madison
Published: (2022)

Reaching out to industry and community
by: New Sunday Times,, et al.
Published: (2007)

Reaching out and impacting lives
by: The Star,
Published: (2014)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

Cosmetic research – Reaching beyond the fantasy
by: Ab. Hadi, Hazrina
Published: (2017)

Reaching Higher: Sacrifices and Brand Loyalty
by: Alafaleg, Nora
Published: (2024)

Reaching today's information security students
by: Armstrong, Helen, et al.
Published: (2009)

Unimas lauded for reaching out to community
by: The Sunday Post
Published: (2012)

UNIMAS launded for reaching out to community
by: The Sunday Post
Published: (2012)

Using Mexican food to reach Malaysians
by: New Straits Times,
Published: (2013)

PHS@Chemor:Reaching The Bottom Billion
by: Mohamad, Radia Banu Jan, et al.
Published: (2012)

'Don't let it reach breaking point'
by: The Star
Published: (2022)

'Don't let it reach breaking point'
by: The Star
Published: (2022)

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

Using web-based assessment to expand the reach of brief alcohol intervention
by: Hallett, Jonathan, et al.
Published: (2011)

Drinking to reach the top: Young adults' drinking patterns as a predictor of status within natural drinking groups
by: Dumas, T., et al.
Published: (2014)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Reaching a nonlinear consensus: polynomial stochastic operators
by: Saburov, Mansoor, et al.
Published: (2014)

Synthetic Reaching-Learning Model: A Contextualized Study
by: Wasim, Qazi, et al.
Published: (2007)

Owning a home beyond reach of most millennials
by: The Star, .
Published: (2024)

USM-TORAY REACHES UNDERSTANDING TO STRENGTHEN COOPERATION
by: MPRC, Pusat Media & Perhubungan Awam
Published: (2016)

The public/private distinction and the reach of administrative law
by: Finn, Chris
Published: (2013)

Reach the top with UniRazak's MEd courses
Published: (2011)

Recycling programme reaches out to all varsities
by: The Star,
Published: (2017)

Program REACH pupuk kesedaran alam sekitar
by: Kosmo
Published: (2019)

Deaths may reach record figure this month
by: The Star
Published: (2021)

Design and improvise of high reach wire cutter
by: Esam, Asrizam, et al.
Published: (2022)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

The Countdown Problem
by: Hutton, Graham
Published: (2002)