SymInfer: Inferring Numerical Invariants using Symbolic States

ThanhVu Nguyen, KimHao Nguyen, Hai Duong. SymInfer: Inferring Numerical Invariants using Symbolic States. In 44th 2022 IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022. pages 197-201, IEEE, 2022. [doi]

Abstract

Abstract is missing.