@inproceedings{morrison_pandita_xiao_chillarege_williams_2018, title={Are Vulnerabilities Discovered and Resolved like Other Defects?}, ISBN={0}, DOI={10.1145/3180155.3182553}, booktitle={PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)}, author={Morrison, Patrick J. and Pandita, Rahul and Xiao, Xusheng and Chillarege, Ram and Williams, Laurie}, year={2018}, pages={498–498} } @inproceedings{xiao_li_xie_tillmann_2013, title={Characteristic studies of loop problems for structural test generation via symbolic execution}, booktitle={2013 28th ieee/acm international conference on automated software engineering (ase)}, author={Xiao, X. S. and Li, S. H. and Xie, T. and Tillmann, N.}, year={2013}, pages={246–256} } @article{xiao_thummalapenta_xie_2012, title={Advances on improving automation in developer testing}, volume={85}, journal={Advances in computers, vol 85}, author={Xiao, X. S. and Thummalapenta, S. and Xie, T.}, year={2012}, pages={165–212} } @inproceedings{pandita_xiao_zhong_xie_oney_paradkar_2012, title={Inferring method specifications from natural language API descriptions}, DOI={10.1109/icse.2012.6227137}, booktitle={2012 34th international conference on software engineering (icse)}, author={Pandita, R. and Xiao, X. S. and Zhong, H. and Xie, T. and Oney, S. and Paradkar, A.}, year={2012}, pages={815–825} } @inproceedings{xiao_tillmann_fahndrich_halleux_moskal_2012, title={User-aware privacy control via extended static-information-flow analysis}, booktitle={2012 proceedings of the 27th ieee/acm international conference on automated software engineering (ase)}, author={Xiao, X. S. and Tillmann, N. and Fahndrich, M. and Halleux, J. and Moskal, M.}, year={2012}, pages={80–89} } @inproceedings{xiao_xie_tillmann_halleux_2011, title={Covana: Precise identification of problems in Pex}, DOI={10.1145/1985793.1985976}, booktitle={2011 33rd International Conference on Software Engineering (ICSE)}, author={Xiao, X. S. and Xie, T. and Tillmann, N. and Halleux, J.}, year={2011}, pages={1004–1006} } @inproceedings{xiao_xie_tillmann_halleux_2011, title={Precise identification of problems for structural test generation}, DOI={10.1145/1985793.1985876}, booktitle={2011 33rd International Conference on Software Engineering (ICSE)}, author={Xiao, X. S. and Xie, T. and Tillmann, N. and Halleux, J.}, year={2011}, pages={611–620} } @inproceedings{xiao_2011, title={Problem identification for structural test generation: First step towards cooperative developer testing}, booktitle={2011 33rd International Conference on Software Engineering (ICSE)}, author={Xiao, X. S.}, year={2011}, pages={1179–1181} }