Fan Zhang, Junwei Cao, et al.
IEEE TETC
Paper
A modified branch-and-bound strategy
Abstract
No abstract available.
Related
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Thomas M. Cover
IEEE Trans. Inf. Theory
Thomas R. Puzak, A. Hartstein, et al.
CF 2007