Mixed constraints for test input generation - An initial exploration. - Shadi Abdul Khalek; Vidya Priyadarshini Narayanan; Sarfraz Khurshid (ASE, 2011)