icst2021satool

M. L. Chaim, K. Baral, J. Offutt, M. Concilio and R. P. A. Araujo, "Efficiently Finding Data Flow Subsumptions," ICST 2021.