Identifying candidate invariant conditions of running program. - Theodorus Eric Setiadi; Ken Nakayama; Yoshitake Kobayashi; Mamoru Maekawa (IASTED Conf. on Software Engineering and Applications, 2004)

Analyzing Invariant Condition of Running Java Program. - Theodorus Eric Setiadi; Ken Nakayama; Yoshitake Kobayashi; Mamoru Maekawa (SEKE, 2004)