A case study in test management