Tags

Active Automata Learning 2 Architectural Smells 1 Code Explainability 1 Concolic Testing 1 Configurable processes 2 Dynamic Software Product Lines 1 Feature 1 Featured Transition Systems 2 Genetic Algorithms 1 Large Language Models 1 Logic Programming 1 Machine Learning 2 Model Learning 1 Optimisation 1 Quantum Computing 2 Quantum Program Analysis 1 Recurrent Neural Networks 2 Reverse Engineering 1 Runtime Validation 1 SMT solving 1 Search-based Software Engineering 1 Self-adaptive Systems 1 Software Product Lines 3 Software reverse engineering 2 Software Variability 1 Variability Exploration 1 Variability Mining 4 Variability-intensive systems 1