Works (8)

2018 conference paper

Are Vulnerabilities Discovered and Resolved like Other Defects?

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 498–498.

Source: NC State University Libraries
Added: January 21, 2019

2013 conference paper

Characteristic studies of loop problems for structural test generation via symbolic execution

2013 28th ieee/acm international conference on automated software engineering (ase), 246–256.

By: X. Xiao, S. Li, T. Xie & N. Tillmann

Source: NC State University Libraries
Added: August 6, 2018

2012 journal article

Advances on improving automation in developer testing

Advances in Computers, Vol 85, 85, 165–212.

By: X. Xiao, S. Thummalapenta & T. Xie

Source: NC State University Libraries
Added: August 6, 2018

2012 conference paper

Inferring method specifications from natural language API descriptions

2012 34th international conference on software engineering (icse), 815–825.

By: R. Pandita, X. Xiao, H. Zhong, T. Xie, S. Oney & A. Paradkar

Source: NC State University Libraries
Added: August 6, 2018

2012 conference paper

User-aware privacy control via extended static-information-flow analysis

2012 proceedings of the 27th ieee/acm international conference on automated software engineering (ase), 80–89.

By: X. Xiao, N. Tillmann, M. Fahndrich, J. Halleux & M. Moskal

Source: NC State University Libraries
Added: August 6, 2018

2011 conference paper

Covana: Precise identification of problems in Pex

2011 33rd International Conference on Software Engineering (ICSE), 1004–1006.

By: X. Xiao, T. Xie, N. Tillmann & J. Halleux

Source: NC State University Libraries
Added: August 6, 2018

2011 conference paper

Precise identification of problems for structural test generation

2011 33rd International Conference on Software Engineering (ICSE), 611–620.

By: X. Xiao, T. Xie, N. Tillmann & J. Halleux

Source: NC State University Libraries
Added: August 6, 2018

2011 conference paper

Problem identification for structural test generation: First step towards cooperative developer testing

2011 33rd International Conference on Software Engineering (ICSE), 1179–1181.

By: X. Xiao

Source: NC State University Libraries
Added: August 6, 2018