SED
Please watch the introduction video (no audio ).
You can pause the video at any time to comprehend the content.
Click here , if you want to open the example of the video in SED (Eclipse).
Download Video
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.