Mixed constraints for test input generation - An initial exploration | IEEE Conference Publication | IEEE Xplore