4. The computer program product of claim 1 , wherein the operations further comprise: receiving a request to edit the source code stored in the first file; identifying the specified location in the source code of the assertion based on the association between the source code of the application and the assertion; and presenting an indication of the assertion in an editing pane of the IDE tool at the specified location.
4. The computer program product of claim 1 , wherein the operations further comprise: receiving a request to edit the source code stored in the first file; identifying the specified location in the source code of the assertion based on the association between the source code of the application and the assertion; and presenting an indication of the assertion in an editing pane of the IDE tool at the specified location. 5. The computer program product of claim 4 , wherein the indication identifies a scope of the assertion.