Representation dependence testing using program inversion.

Aditya Kanade Rajeev Alur Sriram K. Rajamani Ganesan Ramalingam

Published in: SIGSOFT FSE (2010)

Keyphrases

test cases
symbolic execution
image reconstruction
representation language
data sets
databases
artificial intelligence
image segmentation