Efficiently Finding Data Flow Subsumptions.

Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio, Roberto P. A. Araujo

Browse the full ICST paper archive.