Login / Signup

Crosscutting invariant and an efficient checking algorithm using program slicing.

Jia LvYing JingMinghui WuCanghong Jin
Published in: ACM SIGPLAN Notices (2008)
Keyphrases
  • neural network
  • support vector
  • real world
  • object oriented
  • software engineering
  • software development