Optimized Branch and Bound for Path-wise Test Data Generation

Yawen Wang, Ying Xing, Yunzhan Gong, Xuzhou Zhang. Optimized Branch and Bound for Path-wise Test Data Generation. Int. J. Comput. Commun. Control, 9(4):497-509, 2014. [doi]

Abstract

Abstract is missing.