Xusheng Xiao

Works (8)

Updated: July 5th, 2023 15:32

2018 article

Are vulnerabilities discovered and resolved like other defects?

Morrison, P. J., Pandita, R., Xiao, X., Chillarege, R., & Williams, L. (2018, May 27).

By: P. Morrison n, R. Pandita*, X. Xiao*, R. Chillarege* & L. Williams n

topics (OpenAlex): Software Engineering Research; Software Engineering Techniques and Practices; Software Reliability and Analysis Research
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 article

Inferring method specifications from natural language API descriptions

Pandita, R., Xiao, X., Zhong, H., Xie, T., Oney, S., & Paradkar, A. (2012, June 1).

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

topics (OpenAlex): Software Engineering Research; Advanced Malware Detection Techniques; Software Testing and Debugging Techniques
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 Goals Color Wheel
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 article

Covana

Xiao, X., Xie, T., Tillmann, N., & Halleux, J. (2011, May 21).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
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 article

Precise identification of problems for structural test generation

Xiao, X., Xie, T., Tillmann, N., & Halleux, J. (2011, May 21).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
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© (2026) 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.