SymInfer: Inferring Numerical Invariants using Symbolic States.

ThanhVu Nguyen KimHao Nguyen Hai Duong

Published in: ICSE-Companion (2022)

Keyphrases

state transition
symbolic data
sensitivity analysis
numerical data
numerical analysis
high level
qualitative and quantitative
initial state
real time
data sets
three dimensional
pattern recognition
dynamic programming
invariant features
partial knowledge