Sign in

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

Hiroyuki OzakiShingo BanKatsuhiko GondowTakuya Katayama
Published in: APSEC (2003)
Keyphrases
  • java programs
  • abstract interpretation
  • multi threaded
  • static analysis
  • termination analysis
  • evolutionary computation
  • information systems
  • development process
  • test suite
  • reasoning engine
  • database
  • case study