Validating Software Reliability by Binary Translation.

Yi Wang

Browse the full APSEC paper archive.