Statistical reachability analysis
The bibliography cites a reachability method presented at ESEC/FSE in 2023. Reachability asks whether a set of states can be reached, and the statistical version samples rather than enumerates.
The requirement in plain English
The bibliography cites a reachability method presented at ESEC/FSE in 2023. Reachability asks whether a set of states can be reached, and the statistical version samples rather than enumerates.
What the public record says
The bibliography entry names the authors, the title and the venue. The public view gives no abstract and no clause reference.
Why it matters to you
Reachability is the question behind many robustness failures: can an input in this region push the system into that state? A statistical reachability method answers with a search and a probability rather than a proof, which is exactly the trade the FDIS describes. It is most useful when the property you care about is expressed as a state or a region rather than a scalar score, for example an unsafe class or a control limit.
Evidence a reviewer asks for
- The property expressed as a reachable set or state, with the boundary.
- The search or sampling method, with its parameters and seed.
- The estimated reach probability and its interval.
- The region the search did not cover.
Checks to run this month
- Is the property expressed as a state or a region?
- Is the search budget and seed recorded?
- Is the uncovered region stated?
Dates
Paper presented 2023. FDIS registered 2026-08-21.
Cross-references
- High-dimensional input and why exhaustive testing fails
- Write the sampling and perturbation plan
- A statistical approach to robustness
What this page does not state
The public view gives no abstract and no statement of how the draft uses the paper.