Tags

Active Automata Learning 2 Alloy 1 Alloy Analyzer 1 Architectural Smells 1 Automata Learning 1 Code Explainability 1 Concolic Testing 1 Configurable processes 2 Cross-Platform Validation 1 Differential Testing 1 Dynamic Software Product Lines 1 Feature 1 Featured Transition Systems 2 Formal Methods 1 Fuzzing 1 Genetic Algorithms 1 Large Language Models 1 Logic Programming 1 Machine Learning 2 Model Learning 1 Model-Based Testing 1 Noise Models 1 Optimisation 1 Quantum Circuit Simulation 1 Quantum Computing 2 Quantum Program Analysis 1 Quantum Software Engineering 2 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