Domain testing based on character string predicate [software testing] | IEEE Conference Publication | IEEE Xplore