Keyphrases
Software Product Lines
62%
Variability Abstractions
55%
Program Families
45%
Linux Kernel
43%
Variability Bugs
30%
Programmer
28%
Variability-Aware
28%
Bug Finding
28%
Family-based Model Checking
26%
Syntactic Language
26%
Educational Activities
26%
Language Applications
26%
Language Description
26%
Grammar
26%
Variational Model
26%
Language Extension
26%
Catamorphism
26%
Language Tools
26%
C Program
26%
Effective Analysis
26%
Number of Features
24%
Static Analysis
23%
Debugging
21%
Context-free Grammar
21%
University Students
21%
Family-centered
20%
Computing Students
19%
Linux
19%
Data Flow Analysis
19%
Preprocessor
19%
Model Checker
19%
Program Analysis
18%
Intra-procedural
17%
Banana
17%
Highly Configurable Systems
17%
Student Perspectives
17%
Program Committee
17%
Denmark
17%
Programming Experience
15%
Abstract Interpretation
15%
Systematic Derivation
13%
Programming Exercises
13%
Automated Assessment Tools
13%
Automated Assessment
13%
Onboarding
13%
Computing Task
13%
Heat Effect
13%
Alcohol Effects
13%
Web Scraping
13%
Analyzing Software
13%
Computer Science
Software Product Line
100%
Static Program Analysis
67%
Linux
59%
Preprocessor
43%
Syntactics
39%
Single Program
37%
Program Analysis
34%
Context-Free Grammars
32%
Software Systems
32%
Model Checking
32%
Abstract Interpretation
30%
Programming Experience
26%
Extension Language
26%
Configurable System
26%
C Program
26%
Computational Cost
21%
model checker
20%
meta programming
19%
Sensitive Analysis
19%
Tool Implementation
19%
Software Project
19%
Case Study
15%
Product Variant
15%
Configuration Option
13%
Automated Assessment Tool
13%
Benefit Cost Analysis
13%
Speed-up
13%
Experimental Result
13%
Feature Interaction
13%
Reasoning about Programs
13%
Regular Expression
13%
Pattern Matching
13%
Configuration Space
13%
Inference System
13%
Control-Flow Graph
13%
Comprehensibility
13%
program debugging
13%
Maintainability
13%
Software Development
13%
Language Processing
13%
Annotation
13%
modeling language
8%
Lines of Code
8%
Maintenance Task
8%
Language Specific
8%
Imperative Language
8%
Configurable Option
7%
Acceptance Rate
6%
Approximation (Algorithm)
6%
Physical Structure
6%
