The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract).

Leo Marcus

Browse the full ISSTA paper archive.