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]

Authors

Phan Thi Thanh Huyen

This author has not been identified. Look up 'Phan Thi Thanh Huyen' in Google

Daisuke Shimbara

This author has not been identified. Look up 'Daisuke Shimbara' in Google

Shinya Sakaida

This author has not been identified. Look up 'Shinya Sakaida' in Google

Hideto Ogawa

This author has not been identified. Look up 'Hideto Ogawa' in Google