Shinya Sakaida

According to our database, Shinya Sakaida authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

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