Login / Signup

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.

Kozo OkanoSatoshi HarauchiToshifusa SekizawaShinpei OgataShin Nakajima
Published in: ICCCN (2017)
Keyphrases
  • computational cost
  • preprocessing
  • website
  • significant improvement
  • empirical studies
  • real time
  • machine learning
  • genetic algorithm
  • information systems
  • management system
  • programming language
  • data management