On subsumption relationships in data flow testing - Chaim, Marcos Lordello; Baral, Kesina; Offutt, Jeff; Concilio Neto, Mario; Araujo, Roberto Paulo Andrioli de (Software Testing, Verification and Reliability, 2023)