Yingfei Xiong

According to our database1, Yingfei Xiong authored at least 66 papers between 2007 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Automatic Clone Recommendation for Refactoring Based on the Present and the Past.
CoRR, 2018

An Empirical Study of Fault Localization Families and Their Combinations.
CoRR, 2018

Learning to Synthesize.
CoRR, 2018

An empirical study on TensorFlow program bugs.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Shaping program repair space with existing patches and similar code.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Identifying features in forks.
Proceedings of the 40th International Conference on Software Engineering, 2018

Learning to synthesize.
Proceedings of the 4th International Genetic Improvement Workshop, 2018

Identifying patch correctness in test-based program repair.
Proceedings of the 40th International Conference on Software Engineering, 2018

Guiding developers to make informative commenting decisions in source code.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Goal Modelling for Security Problem Matching and Pattern Enforcement.
IJSSE, 2017

Faster Mutation Analysis via Equivalence Modulo States.
CoRR, 2017

Identifying Patch Correctness in Test-Based Automatic Program Repair.
CoRR, 2017

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J.
CoRR, 2017

Faster mutation analysis via equivalence modulo states.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Un-preprocessing: Extended CPP that works with your tools.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

Precise condition synthesis for program repair.
Proceedings of the 39th International Conference on Software Engineering, 2017

Learning to prioritize test programs for compiler testing.
Proceedings of the 39th International Conference on Software Engineering, 2017

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.
Proceedings of the Programming Languages and Systems, 2017

Mining Version Control System for Automatically Generating Commit Comment.
Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017

2016
Bidirectional Transformations, (NII Shonan Meeting 2016-13).
NII Shonan Meet. Rep., 2016

Precise Condition Synthesis for Program Repair.
CoRR, 2016

High-confidence software evolution.
SCIENCE CHINA Information Sciences, 2016

Detecting and fixing precision-specific operations for measuring floating-point errors.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Empirical Evaluation of Test Coverage for Functional Programs.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Test Case Prioritization for Compilers: A Text-Vector Based Approach.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

An empirical comparison of compiler testing techniques.
Proceedings of the 38th International Conference on Software Engineering, 2016

Transforming Programs between APIs with Many-to-Many Mappings.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Range Fixes: Interactive Error Resolution for Software Configuration.
IEEE Trans. Software Eng., 2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Software and System Modeling, 2015

Inner oracles: input-specific assertions on internal states.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

SWIN: Towards Type-Safe Java Program Adaptation between APIs.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Safe Memory-Leak Fixing for C Programs.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
A case study on consistency management of business and IT process models in banking.
Software and System Modeling, 2014

Cooperative Software Testing and Analysis: Advances and Challenges.
J. Comput. Sci. Technol., 2014

Interactive Inconsistency Fixing in Feature Modeling.
J. Comput. Sci. Technol., 2014

Search-based inference of polynomial metamorphic relations.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Model defined fault tolerance in cloud.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013
Synchronizing concurrent model updates based on bidirectional transformation.
Software and System Modeling, 2013

Supporting feature model refinement with updatable view.
Frontiers Comput. Sci., 2013

SmartFixer: fixing software configurations based on dynamic priorities.
Proceedings of the 17th International Software Product Line Conference, 2013

Towards RSA-based HA configuration in Cloud.
Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

How Does Web Service API Evolution Affect Clients?
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012
A user survey of configuration challenges in Linux and eCos.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Automating presentation changes in dynamic web applications via collaborative hybrid analysis.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Inferring the data access from the clients of generic APIs.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Generating range fixes for software configuration.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Supporting runtime software architecture: A bidirectional-transformation-based approach.
Journal of Systems and Software, 2011

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.
Journal of Object Technology, 2011

A study of non-Boolean constraints in variability models of an embedded operating system.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Inferring Meta-models for Runtime System Data from the Clients of Management APIs.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Specifying overlaps of heterogeneous models for global consistency checking.
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.
Proceedings of the Models in Software Engineering, 2010

Tolerating Inconsistency in Feature Models.
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010

From State- to Delta-Based Bidirectional Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2010

Effective collaboration and consistency management in business process modeling.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
Supporting automatic model inconsistency fixing.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Generating Synchronization Engines between Running Systems and Their Model-Based Views.
Proceedings of the Models in Software Engineering, 2009

Supporting Parallel Updates with Bidirectional Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2009

2008
Enforcing a security pattern in stakeholder goal models.
Proceedings of the 4th ACM Workshop on Quality of Protection, 2008

2007
Towards automatic model synchronization from model transformations.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007


  Loading...