Citation Context

...ify the “promising” states if every state reachable from an initial state in less than k steps satisfies P? In this paper, we address the challenge above using the Tests-As-Proofs (TAP) paradigm [3], =-=[5]-=-. The essence of TAP is to treat a set of tests not as a sample of the search space but as an encoding of a proof that the property in question holds. So, in a sense, the TAP paradigm reformulates the...