Login / Signup
POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems.
Phan Thi Thanh Huyen
Daisuke Shimbara
Shinya Sakaida
Hideto Ogawa
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
enterprise systems
web services
java programs
business processes
highly dynamic
computer programs
service systems
open source
application server
object oriented
programming language
semi automatic
database
source code
peer to peer
random access