An environment for evolutionary prototyping Java programs based on abstract interpretation | IEEE Conference Publication | IEEE Xplore