Early detection of JML specification errors using ESC/Java2.

Published in: SAVCBS@FSE (2006)

Keyphrases

early detection
automatic diagnosis
breast cancer
lung cancer
programming language
skin cancer
high level
gastric cancer
object oriented
ovarian cancer
early diagnosis
source code
data sets
java programs
diabetic retinopathy
digital image processing
x ray
training data
information systems