我们收录了 "熊英飞" 的 83 篇 paper：

• Improved SRGAN for Remote Sensing Image SuperResolution Across Locations and Sensors., 2020-05-11
• Interactive Patch Filtering as Debugging Aid., 2020-04-28
• From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case., 2020-04-25
• Detecting floating-point errors via atomic conditions., 2020-04-16
• How Do Python Framework APIs Evolve? An Exploratory Study., 2020-04-16
• Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach., 2020-04-02
• Automated program repair: a step towards software automation., 2020-03-27
• Learning Code Context Information to Predict Comment Locations., 2020-03-19
• A manual inspection of Defects4J bugs and its implications for automatic program repair., 2020-03-02
• High-confidence software evolution., 2020-03-02
• Supporting runtime software architecture: A bidirectional-transformation-based approach., 2020-02-24
• How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects., 2020-02-14
• NLocalSAT: Boosting Local Search with Solution Prediction., 2020-01-30
• Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study., 2020-01-19
• History-Guided Configuration Diversification for Compiler Test-Program Generation., 2020-01-19
• Inferring Program Transformations From Singular Examples via Big Code., 2020-01-19
• Un-preprocessing: Extended CPP that works with your tools., 2020-01-07
• TreeGen: A Tree-Based Transformer Architecture for Code Generation., 2020-01-07
• An empirical study on TensorFlow program bugs., 2020-01-07
• Shaping program repair space with existing patches and similar code., 2019-10-06
• An empirical comparison of compiler testing techniques., 2019-10-06
• Test Case Prioritization for Compilers: A Text-Vector Based Approach., 2019-10-06
• Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis., 2019-10-06
• Learning to prioritize test programs for compiler testing., 2019-10-06
• Goal Modelling for Security Problem Matching and Pattern Enforcement., 2019-09-25
• Cooperative Software Testing and Analysis: Advances and Challenges., 2019-09-25
• A Grammar-Based Structural CNN Decoder for Code Generation., 2019-09-25
• Synchronizing concurrent model updates based on bidirectional transformation., 2019-08-19
• Model synchronization based on triple graph grammars: correctness, completeness and invertibility., 2019-08-19
• A case study on consistency management of business and IT process models in banking., 2019-08-19
• Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)., 2019-07-11
• Tolerating Inconsistency in Feature Models., 2019-05-28
• Towards RSA-based HA configuration in Cloud., 2019-05-28
• Mining Version Control System for Automatically Generating Commit Comment., 2019-02-21
• Identifying features in forks., 2018-11-26
• A Grammar-Based Structural CNN Decoder for Code Generation., 2018-11-25
• Guiding developers to make informative commenting decisions in source code., 2018-11-21
• Learning to synthesize., 2018-11-21
• Identifying patch correctness in test-based program repair., 2018-11-21
• Automatic Clone Recommendation for Refactoring Based on the Present and the Past., 2018-11-20
• Enforcing a security pattern in stakeholder goal models., 2018-11-06
• SWIN: Towards Type-Safe Java Program Adaptation between APIs., 2018-11-06
• Supporting automatic model inconsistency fixing., 2018-11-06
• Towards automatic model synchronization from model transformations., 2018-11-06
• Effective collaboration and consistency management in business process modeling., 2018-11-06
• SmartFixer: fixing software configurations based on dynamic priorities., 2018-11-06
• Automating presentation changes in dynamic web applications via collaborative hybrid analysis., 2018-11-06
• Model defined fault tolerance in cloud., 2018-11-06
• A study of non-Boolean constraints in variability models of an embedded operating system., 2018-11-06
• Faster mutation analysis via equivalence modulo states., 2018-11-06
• A user survey of configuration challenges in Linux and eCos., 2018-11-06
• Search-based inference of polynomial metamorphic relations., 2018-11-06
• Specifying overlaps of heterogeneous models for global consistency checking., 2018-11-06
• Inner oracles: input-specific assertions on internal states., 2018-11-06
• Detecting and fixing precision-specific operations for measuring floating-point errors., 2018-11-06
• Transforming Programs between APIs with Many-to-Many Mappings., 2018-08-23
• Identifying Patch Correctness in Test-Based Automatic Program Repair., 2018-08-13
• Precise Condition Synthesis for Program Repair., 2018-08-13
• Faster Mutation Analysis via Equivalence Modulo States., 2018-08-13
• Learning to Synthesize., 2018-08-13
• Automatic Clone Recommendation for Refactoring Based on the Present and the Past., 2018-08-13
• Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J., 2018-08-13
• An Empirical Study of Fault Localization Families and Their Combinations., 2018-08-13
• Bidirectional Transformations, (NII Shonan Meeting 2016-13)., 2018-02-22
• Supporting feature model refinement with updatable view., 2018-02-19
• Empirical Evaluation of Test Coverage for Functional Programs., 2017-09-18
• Precise condition synthesis for program repair., 2017-09-07
• Inferring Meta-models for Runtime System Data from the Clients of Management APIs., 2017-06-15
• Inferring the data access from the clients of generic APIs., 2017-06-15
• Generating Synchronization Engines between Running Systems and Their Model-Based Views., 2017-06-15
• A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models., 2017-06-15
• Supporting Parallel Updates with Bidirectional Model Transformations., 2017-06-15
• Correctness of Model Synchronization Based on Triple Graph Grammars., 2017-06-15
• From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case., 2017-06-15
• Range Fixes: Interactive Error Resolution for Software Configuration., 2017-06-15
• From State- to Delta-Based Bidirectional Model Transformations., 2017-06-15
• Safe Memory-Leak Fixing for C Programs., 2017-06-15
• Generating range fixes for software configuration., 2017-06-15
• A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies., 2017-06-15
• How Does Web Service API Evolution Affect Clients?, 2017-06-15
• Specifying Overlaps of Heterogeneous Models for Global Consistency Checking., 2017-06-15
• Interactive Inconsistency Fixing in Feature Modeling., 2017-05-28
• Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization., 2017-05-19