Proofs from Tests

We present an algorithm DASH to check if a program P satisfies a safety property phi. The unique feature of the algorithm is that it uses only test generation operations, and it refines and maintains a sound program abstraction as a consequence of failed test generation operations. Thus, each iteration of the algorithm is inexpensive, and can be implemented… CONTINUE READING

11 Figures & Tables

Topics

Statistics

010203020082009201020112012201320142015201620172018
Citations per Year

167 Citations

Semantic Scholar estimates that this publication has 167 citations based on the available data.

See our FAQ for additional information.