Synthesizing Boxes Preconditions for Deep Neural Networks.

Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang

Browse the full ISSTA paper archive.