Black-Box Test Case Generation from TFM Module Interface Specications and Usage Statistics