Cited By
View all- Gao XTan SDong ZRoychoudhury AHuchard MKästner CFraser G(2018)Android testing via synthetic symbolic executionProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3238225(419-429)Online publication date: 3-Sep-2018