Explore Numerical program
Numerical program

Multi precision arithmetic applications
Functionality : an application with arithmetics carried out in software as IEEE 754 standard to achieve higher precision and accuracy than hardware based environment 
Powerexponential function
Functionality : Powerexponential function in math 
GetMid
Functionality : The program is expected to return the median of three real numbers a, b, and c 
Linear Equations by Gaussian Elimination
Functionality : A program which solves a system of linear equations, $Ax=b$ by using Gaussian elimination where A is the square matrix of coeffcients and $b$ is a column vector 
Cos Function
Functionality : Cos function in math 
Greatest common divisor
Functionality : compute the greatest common divisor of two integers 
NormDist
Functionality : Computing the Normal Distribution Probability value of a section 
money exchange service
Functionality : Suppose that $S$ be an expected money exchange service, for example, accepting deal orders in USD and returning deal orders in HKD 
The Value of Determinant
Functionality : Compute determinant of the matrices 
The Maximal Value
Functionality : Calculates the maximal value from a set of input data 
Detecting Faults in Technical Indicator Computations
Functionality : Detect faults in the computation of two commonly used technical indicators, namely the moving averages (MA) and the relative strength index (RSI). 
Wireless metering system
Functionality : A wireless metering system used in two electricpower companies.And in this project, we test the $meter reading function$ enabled by the software inside the RF module. 
Sum of an array
Functionality : Calculates the sum of integers in an array $a$. 
MPA:multi precision arithmetic
Functionality : Converting the general relations of operations as metamorphic relations. 
Superficial Area Calculation
Functionality : A superficial area calculation program, which is common for most of the GIS systems. 
Big Integers
Functionality : An implementation of BigInteger class that supports large integer arithmetic operations that are not supported natively by the compilers. 
SparseMatrixMultiply
Functionality : Conducting the multiplication of two sparse matrices 
Integer Bugs:TCAS
Functionality : Detect integer bugs in Traffic Collision Avoidance System (TCAS). 
Sin function
Functionality : Sin function in math 
Tan function
Functionality : Tan function in math 
Componentbased SoftwareA bank software application
Functionality : Four components: （1）Foreign exchange component (FEC) is used for foreign exchange dealing （2）Search rate component (SRC) is used for searching the exchange rates from some rivals (3) Computeinterest component (CRC) is used for computing interest (4) Savewithdraw component (SWC) has two interfaces: one interface save () is used for saving money, and the other interface withdraw () is used for withdrawing money 
Determinant
Functionality : Calculate the value of determinant 
Sumproduct
Functionality : A formula to calculate the number of Specific types of products