An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.

Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama

Browse the full APSEC paper archive.