Building test cases for use in hypersequential programming | IEEE Conference Publication | IEEE Xplore