Sign in

Automatic Verification of C and Java Programs: SV-COMP 2019.

Dirk Beyer
Published in: TACAS (3) (2019)
Keyphrases
  • java programs
  • multi threaded
  • software components
  • java language
  • test case generation
  • real world
  • test suite
  • real time
  • software development
  • artificial intelligence
  • multi core processors