Lightweight Methods for Effective Verification of Software Product Lines with Off-the-Shelf Tools

Keyphrases

• Lightweight Method 100%
• Software Product Line Development 20%
• Quality Assessment 20%
• Code Modernization 20%
• Lightweight Verification 20%
• Human Safety 20%
• Semantic Equivalence 20%
• Complex Source 20%
• Product Family 20%
• Concept Implementation 20%
• Qualitative Properties 20%
• Method Validation 20%
• Certification Process 20%
• Source Code Transformation 20%
• Code Structure 20%
• State-of-the-art Analysis 20%
• Recertification 20%
• Similar Products 20%
• Reengineering Project 20%
• Building Products 20%

Computer Science

• Qualitative Property 16%
• Building Product 16%
• Reengineering Project 16%
• Source Code Transformation 16%
• Validation Phase 16%
• Validation Technique 16%
• Certification Process 16%