Assessing the impact of hints in learning formal specification.

Alcino Cunha Nuno Macedo José Creissac Campos Iara Margolis Emanuel Sousa

Published in: SEET@ICSE (2024)

Keyphrases

formal specification
learning algorithm
learning process
knowledge acquisition
reinforcement learning
user interface