Login / Signup
Identifying candidate invariant conditions of running program.
Theodorus Eric Setiadi
Ken Nakayama
Yoshitake Kobayashi
Mamoru Maekawa
Published in:
IASTED Conf. on Software Engineering and Applications (2004)
Keyphrases
</>
sufficient conditions
evolutionary algorithm
computer programs
affine transformation
control program