A Boundary Value Analysis Tool - Design and Description | IEEE Conference Publication | IEEE Xplore