About software verification
About Software Validation
About program correctness
About debugging
About computer system development
About software engineering
About test program
About verification
About model checking
About break point
About coverage
About compositional verification