Gustavo Soares

Latest

• Detecting Overly Strong Preconditions in Refactoring Engines
• A Toolset for Checking SPL Refinements
• Making refactoring safer through impact analysis
• Making Software Product Line Evolution Safer