You are testing a wire transfer system for a large multi-national bank. There are up to 100,000 wire transactions in a day totaling millions of dollars and each of these transactions must be accurate up to 10 decimal places. Money is often transferred between currencies and rounding of the amount is critically important. Which of the following specification-based techniques would be the most useful when testing this application?