Differential Testing: How to find differences between programs that mostly behave identically?

Published in: Sicherheit (2022)

Keyphrases

symbolic execution
statistically significant
test cases
information systems
information technology
set of test cases
information retrieval
image segmentation
expert systems
evolutionary algorithm
test data
individual differences
intermediate level
concurrent programs