Static Analysis for Quantum Software Correctness and Reliability (Keynote).

Published in: Programming (2023)

Keyphrases

static analysis
dynamic analysis
source code
test suite
symbolic execution
abstract interpretation
malicious code
test generation
regular expressions
key issues
software testing
java card
knowledge base
quality assurance
software reliability
software systems
real world