Analyzing Invariant Condition of Running Java Program

Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa. Analyzing Invariant Condition of Running Java Program. In Frank Maurer, Günther Ruhe, editors, Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), Banff, Alberta, Canada, June 20-24, 2004. pages 350-353, 2004.

Abstract

Abstract is missing.