Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.

Dimitra Giannakopoulou Corina S. Pasareanu

Published in: ISoLA (1) (2010)

Keyphrases

learning algorithm
learning process
reinforcement learning
knowledge acquisition
neural network
data sets
artificial intelligence
information systems
feature selection
object recognition
active learning
online learning
learning systems
learning tasks
explanation based learning
hybrid learning