Answer:
A dynamic analysis technique which inserts assertions about the relationship between program variables into the program code. The truth of the assertions is determined as the program executes.
| Previous Question | Next Question |
| Explain Branch Testing? | Explain Compatibility testing? |