Login / Signup

Reasoning About Java Programs with Aliasing and Frame Conditions.

Claude MarchéChristine Paulin-Mohring
Published in: TPHOLs (2005)
Keyphrases
  • java programs
  • java language
  • software components
  • multi threaded
  • java virtual machine
  • genetic programming
  • error rate
  • test case generation