CASTING: a formally based software test generation method | IEEE Conference Publication | IEEE Xplore