Login / Signup

Constructing Compact Models of Concurrent Java Programs.

James C. Corbett
Published in: ISSTA (1998)
Keyphrases
  • java programs
  • decision trees
  • fine grained
  • real time