Login / Signup

Automating Software Analysis and Testing Using a Program Transformation System.

Gordon KotikLawrence Markosian
Published in: Symposium on Testing, Analysis, and Verification (1989)
Keyphrases