Skip to main content

Research Repository

Advanced Search

All Outputs (1)

Towards a theory of reach (2016)
Journal Article

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 targete... Read More about Towards a theory of reach.