Beyond Brute Force: Testing Financial Software | IEEE Journals & Magazine | IEEE Xplore