SEcurity, Reasoning and VALidation
Software Engineering, Analysis and Testing
- Software maintenance
- Code evolution
- Test generation
- Mutation testing
- Anomaly detection
- Test flakiness
- Debugging
AI, Machine Learning and Data Science
- Biais and fairness
- Robustness
- Distribution shift
- Adversarial attacks
- Deep learning
- Data imbalance
- Transfer learning
Formal Verification and Optimization
- Model checking
- Software and system variability
- Cyber-physical systems
- Model-driven engineering
- Design space exploration