PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.

Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie

Browse the full DSN paper archive.