Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, Bing Xie. An Approach to Testing Black-Box Components Using Contract-Based Mutation. International Journal of Software Engineering and Knowledge Engineering, 18(1):93-117, 2008. [doi]
Abstract is missing.