Automated API Property Inference Techniques
Symbolic execution and program testing