POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems

Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, Hideto Ogawa. POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems. ACM SIGSOFT Software Engineering Notes, 40(6):1-5, 2015. [doi]

Abstract

Abstract is missing.