An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. - Hiroyuki Ozaki; Shingo Ban; Katsuhiko Gondow; Takuya Katayama (APSEC, 2003)