Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim: Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques. DELTA 2004: 237-244