Automated Specification Discovery via User-Defined Predicates.

Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun

Browse the full ICFEM paper archive.