Login / Signup
Shinya Sakaida
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Java Programs
Semi Automatic
Enterprise Systems
Highly Dynamic
Top Venues
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Phan Thi Thanh Huyen
,
Daisuke Shimbara
,
Shinya Sakaida
,
Hideto Ogawa
POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems.
ACM SIGSOFT Softw. Eng. Notes
40 (6) (2015)