Concolic testing for deep neural networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening. Concolic testing for deep neural networks. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 109-119, ACM, 2018. [doi]

This author has not been identified. Look up 'Youcheng Sun' in GoogleThis author has not been identified. Look up 'Min Wu' in GoogleThis author has not been identified. Look up 'Wenjie Ruan' in GoogleThis author has not been identified. Look up 'Xiaowei Huang' in GoogleThis author has not been identified. It may be one of the following persons:

Marta Kwiatkowska

Look up 'Marta Kwiatkowska' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in Google

runs on WebDSL