Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima

Browse the full ICCCN paper archive.