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

Keyphrases

• Software Product Lines 100%
• Formal Specification 40%
• Modeling Language 40%
• Verification Method 40%
• Variability Modeling 40%
• Safety Standards 20%
• Lessons Learned 20%
• Brute Force 20%
• Unit Testing 20%
• Software Product Line Engineering 20%
• Translation Validation 20%
• Compile Time 20%
• Runtime Variability 20%
• Time Variability 20%
• 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

• Software Product Line 100%
• Formal Specification 33%
• modeling language 33%
• variability modeling 33%
• product family 16%
• Development Process 16%
• And-States 16%
• software product line engineering 16%
• Modernization Project 16%
• Qualitative Property 16%
• Building Product 16%
• Reengineering Project 16%
• Source Code Transformation 16%
• Validation Phase 16%
• Validation Technique 16%
• Certification Process 16%