An enhanced dynamic detection of possible invariants based on best permutation of test cases. - Hamid Alishavandi; Gholam Hosein Gouraki; Hamid Parvin (Comput. Syst. Sci. Eng., 2016)