A Case for White-box Testing Using Declarative Specifications Poster Abstract | IEEE Conference Publication | IEEE Xplore