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