Invariant/Specification Discovery using Dynamic and Symbolic Analyses
Date:
This is talk was part of Mason Software Engineering Seminars fall 2021. I discuss the benefit of complexity analysis. I also present a novel dynamic approach for inferring the asymptotic complexity bounds of recursive programs by inferring recurrence relations from program execution traces.