GitHub repository: y553546436/jpf-core
Primary language: Java
Description: Computer hardware is susceptible to errors. For example, radiation may induce error to the hardware and some bit might be flipped. It is important to improve the resiliency of software against hardware errors. One way to evaluate the resiliency of software against hardware errors is by fault injection. The project uses Java PathFinder to systematically inject and explore bit-flip faults in the user specified variables in Java programs.