PreInfer: Automatic Inference of Preconditions via Symbolic Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Angello Astorga' in GoogleThis author has not been identified. Look up 'Siwakorn Srisakaokul' in GoogleThis author has not been identified. Look up 'Xusheng Xiao' in GoogleThis author has not been identified. Look up 'Tao Xie' in Google

runs on WebDSL