PreInfer: Automatic Inference of Preconditions via Symbolic Analysis

2018
48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
EECS - Communications/networks and software engineering