POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems. - Phan Thi Thanh Huyen; Daisuke Shimbara; Shinya Sakaida; Hideto Ogawa (ACM SIGSOFT Softw. Eng. Notes, 2015)