Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakashima. Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. In 26th International Conference on Computer Communication and Networks, ICCCN 2017, Vancouver, BC, Canada, July 31 - Aug. 3, 2017. pages 1-6, IEEE, 2017. [doi]
Abstract is missing.