Works (8)

Updated: July 5th, 2023 15:32

2018 article

Are Vulnerabilities Discovered and Resolved like Other Defects?

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

Source: Web Of Science
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 n, X. Xiao n, H. Zhong*, T. Xie n, 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 n, T. Xie n, 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 n, T. Xie n, 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