Sorter
Keyphrases
Abstract Interpretation
15%
Automated Assessment
26%
Automated Assessment Tools
26%
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
26%
Educational Activities
26%
Educators
26%
Effective Analysis
26%
Family-based Model Checking
26%
Family-centered
20%
Grammar
26%
Highly Configurable Systems
17%
Intra-procedural
17%
Language Applications
26%
Language Description
26%
Language Extension
26%
Language Tools
26%
Linux
19%
Linux Kernel
43%
Manual Evaluation
22%
Model Checker
19%
Number of Features
24%
Onboarding
13%
Preprocessor
19%
Program Analysis
18%
Program Committee
17%
Program Families
45%
Programmer
28%
Programming Assignments
15%
Programming Exercises
13%
Programming Experience
15%
Software Product Lines
62%
Static Analysis
23%
Student Perspectives
23%
Syntactic Language
26%
Systematic Derivation
13%
Teaching Assistants
26%
University Students
26%
Variability Abstractions
55%
Variability Bugs
30%
Variability-Aware
28%
Variational Model
26%
Computer Science
Abstract Interpretation
30%
Annotation
26%
Automated Assessment Tool
26%
Benefit Cost Analysis
26%
C Program
26%
Case Study
15%
Comprehensibility
13%
Computational Cost
21%
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%
Inference System
13%
Information Technology
13%
Language Processing
13%
Lines of Code
8%
Linux
59%
Maintainability
13%
meta programming
19%
model checker
20%
Model Checking
32%
modeling language
8%
Negative Correlation
13%
Novice Programmer
13%
Object Orientation
13%
Pattern Matching
13%
Preprocessor
43%
Product Variant
15%
Program Analysis
34%
program debugging
13%
Programming Experience
26%
Programming Language
13%
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%
Solution Domain
13%
Speed-up
13%
Static Program Analysis
67%
Syntactics
39%
Temporal Correlation
13%
Tool Implementation
19%
