Sun, Y.,
Wu, M.,
Ruan, W.,
Huang, X.,
Kwiatkowska, M. &
Kroening, D.,
3/09/2018,
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018. New York:
Association for Computing Machinery (ACM),
p. 109-119 11 p.Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review