SED
Please watch the introduction video (no audio). You can pause the video at any time to comprehend the content.
Best Practices
- Ensure that
- uncaught exceptions are allowed according to the documentation.
- returned values match with the documentation.
- the class invariant is preserved.
- all statements can be executed (reached statements during symbolic execution are highlighted in the active editor).
- If something is suspicious
- inspect the parent nodes to comprehend the followed execution path.
- consider the path condition of the selected node shown in view Properties if appropriate.
- inspect the symbolic state before the statement is executed in view Variables if appropriate.