u Property-Based Testing: Using an instrumenter, test execution monitor,
and program verifier, PBT employs a code-slicing technique to
iteratively test software for violations of security properties. PBT
examines data from program executions to assess as many control