Test Case Generation for Formal Concept Analysis. - Ha Jin Hwang; Joo Ik Tak (UCMA (2), 2011)