An Evaluation of Assuring Test Case Sufficiency Using a D-Case Pattern | IEEE Conference Publication | IEEE Xplore