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*

TL;DR: This work proposes a novel approach to infer formal specifications from natural language text of API documents and shows that this approach has an average 83% accuracy in inferring specifications from over 1600 sentences describing code contracts. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
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*

TL;DR: This work presents Covana, a tool that precisely identifies and reports problems that prevent Pex from achieving high structural coverage, and proposes cooperative developer testing, where developers provide guidance to help tools achieve higher structural coverage. (via Semantic Scholar)
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*

TL;DR: A novel approach, called Covana, is proposed, which precisely identifies and reports problems that prevent the tools from achieving high structural coverage primarily by determining whether branch statements containing notcovered branches have data dependencies on problem candidates. (via Semantic Scholar)
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

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.