Login / Signup

Program Behavior Discovery and Verification: A Graph Grammar Approach.

Chunying ZhaoJun KongKang Zhang
Published in: IEEE Trans. Software Eng. (2010)
Keyphrases
  • graph grammars
  • context sensitive
  • computer programs
  • grammar rules
  • model checking
  • pattern discovery
  • parameter learning