Invariant/Specification Discovery using Dynamic and Symbolic Analyses
Date:
Provided a comprehensive overview of the benefits of complexity analysis in the software development lifecycle. Introduced a dynamic approach for deriving asymptotic complexity bounds by automatically inferring recurrence relations directly from program execution traces.