Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification.
Toni ManciniIgor MelattiEnrico TronciPublished in: IEEE Trans. Software Eng. (2022)
Keyphrases
- random sampling
- formal verification
- model checking
- active learning
- sampling algorithm
- sample size
- model checker
- automated verification
- sampling procedure
- random projections
- bounded model checking
- symbolic model checking
- sliding window
- random samples
- adaptive sampling
- search space
- query by committee
- random sample
- real world
- reservoir sampling
- sampling methods
- data streams