Try to Solve
Debugging
Dynamic Symbolic Execution Cristian Cadar Department of Computing Imperial College London Computer Aided Verification (CAV13) St Petersburg, 15 July 2013.
Chalmers University of Technology Fabian Peng Kärrholm Why did my program crash? or How to debug your OpenFOAM codes using GDB.