Sign in

How effective are existing Java API specifications for finding bugs during runtime verification?

Owolabi LegunsenNader Al AwarXinyue XuWajih Ul HassanGrigore RosuDarko Marinov
Published in: Autom. Softw. Eng. (2019)
Keyphrases
  • source code
  • open source
  • high level
  • concurrent systems
  • object oriented
  • model checking
  • database
  • databases
  • database systems
  • lightweight
  • static analysis
  • java card
  • cross platform
  • asynchronous circuits