Synthesizing API usage examples
Mining Temporal Specifications for Error Detection