TraceBOOST Case Study