Coverage Measurement for Software Application Testing using Partially Ordered Domains and Symbolic Trajectory Evaluation Techniques

Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim. Coverage Measurement for Software Application Testing using Partially Ordered Domains and Symbolic Trajectory Evaluation Techniques. In Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2006), 17-19 January 2006, Kuala Lumpur, Malaysia. pages 481-487, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.