1. Bugs as inconsistent behavior: a general approach to inferring errors in systems code;Engler,2001
2. PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code;Li,2005
3. Formal concept analysis: mathematical foundations;Ganter,1999
4. Fast concept analysis;Lindig,2000
5. Colibri/ML;Lindig,2007