published in Companion Proceedings of the 36th International Conference on Software Engineering Journal
keywords Adaptive-Software Systems Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Evolving Specification Incomplete Verification Incremental Verification Science & Technology Technology