Automatically generating test data from a Boolean specification | IEEE Journals & Magazine | IEEE Xplore