We Need a Testability Transformation Semantics.

Mark Harman

Browse the full SEFM paper archive.