Ying Zeng Fenlin Liu Xiangyang Luo Shiguo Lian Abstract interpretation-based semantic framework for software birthmark. 377-390 2012 31 Computers & Security 4 http://dx.doi.org/10.1016/j.cose.2012.03.004 db/journals/compsec/compsec31.html#ZengLLL12