FLAT A Fast Lattice-Based Algorithm for Test Suite Reduction. - Ahmed Raafat Abuzeid; Haitham S. Hamza; Ismail Abdel Hamid Taha (SEKE, 2010)