Login / Signup

Maximising the information gained from a study of static analysis technologies for concurrent software.

Margaret A. WojcickiPaul A. Strooper
Published in: Empir. Softw. Eng. (2007)
Keyphrases
  • static analysis
  • computer systems
  • dynamic analysis
  • artificial intelligence
  • source code
  • databases
  • information extraction
  • object oriented
  • test set
  • semantic information