Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Constraint-Based refactoring with foresight
Refactoring for generalization using type constraints
A Refactoring Approach to Parallelism
The impact of refactoring changes on the SZZ algorithm: An empirical study
An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair
Empirical Evaluation of the Impact of Object-Oriented Code Refactoring on Quality Attributes: A Systematic Literature Review
Codeflaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools
Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg
Graph grammars and constraint solving for software architecture styles
Interactive Code Review for Systematic Changes
Design-Space Exploration through Constraint-Based Model-Transformation
Exploiting the map metaphor in a tool for software evolution
JFIX: semantics-based repair of Java programs via symbolic PathFinder
Focus: a light-weight, incremental approach to software architecture recovery and evolution
refactoring improving the design of existing code .
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing
Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell
Dataflow and Type-based Formulations for Reference Immutability
The strength of random search on automated program repair
Efficient constraint propagation engines
SemFix: program repair via semantic analysis
A framework for implementing pluggable type systems
Sport expert's motor imagery: Functional imaging of professional motor skills and simple motor skills
Implementation of a 32-bit MIPS based RISC processor using Cadence
Mechanism of Stress Memorization Technique (SMT) and Method to Maximize Its Effect
Experience-based model predictive control using reinforcement learning ∗