Dynamic analysis of quantum annealing programs.

Ricardo Pérez-Castillo Luis Jiménez-Navajas Mario Piattini

Published in: J. Syst. Softw. (2023)

Keyphrases

dynamic analysis
static analysis
reverse engineering
abstract interpretation
model checking
computer programs
simulated annealing
automatic programming
malicious behavior
databases
probability ranking principle
quantum computation
quantum computing
semi automatic
software engineering
case study
neural network