Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms | IEEE Conference Publication | IEEE Xplore