4.0.0 simjava simjava 2.0 http://www.icsa.informatics.ed.ac.uk/research/groups/hase/simjava/