Qualifying Reusable Functions Using Symbolic Execution

Aniello Cimitile, Andrea De Lucia, Malcolm Munro. Qualifying Reusable Functions Using Symbolic Execution. In WCRE. 1995.

Abstract

Abstract is missing.