Login / Signup

Metamorphic Testing of Oracle Quantum Programs.

Rui AbreuJoão Paulo FernandesLuis LlanaGuilherme Tavares
Published in: Q-SE@ICSE (2022)
Keyphrases
  • symbolic execution
  • oracle database
  • quantum computation
  • control program
  • set of test cases
  • website
  • data structure
  • static analysis
  • concurrent programs
  • oracle pl sql