Beyond Brute Force: Testing Financial Software. - Mikhail Kharlamov; Alexey Polovinkin; Ekaterina Kondrateva; Alexey Lobachev (IT Prof., 2008)