@inproceedings {verivis:deeptest,
        author = {Kexin Pei and Yinzhi Cao and Junfeng Yang and Suman Jana},
        title = {Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems},
        year = {2019},
        booktitle = {ICSE 2019 Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest '19)},
}