Building Combinatorial Test Input Model from Use Case Artefacts | IEEE Conference Publication | IEEE Xplore