Specification Inference for Evolving Systems

Published in arXiv preprint, 2023

This paper explores techniques for automatically inferring behavioral specifications for evolving software systems.