Black-Box Equivalence Checking Across Compiler Optimizations.

Manjeet Dahiya Sorav Bansal

Published in: APLAS (2017)

Keyphrases

black box
black boxes
general purpose
programming language
white box
rule extraction
highly optimized
test cases
software systems
white box testing
hybrid systems
integration testing
state transition
distributed memory machines
databases
software engineering
case study