An industrial study of applying input space partitioning to test financial calculation engines. - Jeff Offutt; Chandra Alluri (Empir. Softw. Eng., 2014)