Sign in
Crosscutting invariant and an efficient checking algorithm using program slicing.
Jia Lv
Ying Jing
Minghui Wu
Canghong Jin
Published in:
ACM SIGPLAN Notices (2008)
Keyphrases
</>
neural network
support vector
real world
object oriented
software engineering
software development