Incremental Model-based Test Suite Reduction with Formal Concept Analysis. - Pin Ng; Richard Y. K. Fung; Ray W. M. Kong (J. Inf. Process. Syst., 2010)