Soundness and completeness warnings in ESC/Java2.

Joseph R. Kiniry Alan E. Morkan Barry Denby

Published in: SAVCBS@FSE (2006)

Keyphrases

programming language
source code
object oriented
open source
java programs
development environment
database applications
genetic algorithm
web services
web applications
byte code
databases
multi threaded
evolutionary algorithm
high level
decision trees
neural network