Login / Signup

Symbolic Context-Bounded Analysis of Multithreaded Java Programs.

Dejvuth SuwimonteerabuthJavier EsparzaStefan Schwoon
Published in: SPIN (2008)
Keyphrases
  • java programs
  • high level
  • real time
  • data analysis
  • genetic programming