Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.
Jannik DunkelauMichael LeuschelPublished in: iFM (2023)
Keyphrases
- reinforcement learning
- high precision
- experimental evaluation
- objective function
- prior knowledge
- computational cost
- high accuracy
- theoretical analysis
- optimization algorithm
- support vector machine
- detection method
- synthetic data
- segmentation method
- similarity measure
- significant improvement
- constrained optimization