Data-Flow Testing of Programs with Pointers and Records: Implementation, Effectiveness, and Cost
José Carlos Maldonado
Mario Jino
Marcos Lordello Chaim