Automatically testing implementations of numerical abstract domains.

Alexandra Bugariu Valentin Wüstholz Maria Christakis Peter Müller

Published in: ASE (2018)

Keyphrases

high level
test cases
application domains
sensitivity analysis
real world
website
low level
artificial neural networks
mobile robot
efficient implementation
automatically generated
neural network
higher level
transfer learning
continuous domains