Felipe Ferreira

Latest

• A Toolset for Checking SPL Refinements
• TaRGeT: a Model Based Product Line Testing Tool