Login / Signup

Combining Static Concurrency Analysis with Symbolic Execution.

Michal YoungRichard N. Taylor
Published in: IEEE Trans. Software Eng. (1988)
Keyphrases
  • symbolic execution
  • static analysis
  • databases
  • real world
  • data sets
  • case study
  • training data