Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim. Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques. In 2nd IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2004), 28-30 January 2004, Perth, Australia. pages 237-244, IEEE Computer Society, 2004. [doi]
Abstract is missing.