Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
We investigate a special case of the graph partitioning problem: the partitioning of a sibling graph which is an ordered tree augmented with edges connecting consecutive nodes that share a common parent. We describe the algorithm, XS, and present a proof of its correctness. © 2008 Elsevier B.V. All rights reserved.
Pradip Bose
VTS 1998
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Yao Qi, Raja Das, et al.
ISSTA 2009
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006