cp - miner : a tool for finding copy - paste and related bugs in operating system code .
CMC: a pragmatic approach to model checking real code