SymInfer: inferring numerical invariants using symbolic states. - Nguyen, ThanhVu; Nguyen, KimHao; Duong, Hai (ICSE: International Conference on Software Engineering, 2022)