Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie. PreInfer: Automatic Inference of Preconditions via Symbolic Analysis. In 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018. pages 678-689, IEEE Computer Society, 2018. [doi]
Abstract is missing.