Compiling C and C++ Programs for Dynamic White-Box Analysis.

Zuzana Baranová Petr Rockai

Published in: FM Workshops (1) (2019)

Keyphrases

black box
image processing
white box
information retrieval
computer vision
image analysis
quantitative analysis
search engine
case study
xml documents
dynamic environments
life cycle