Mansur Segmen

model based and code based test case prioritization