Model-free Temporal Specification Falsification