Binary Image Compression Debugging Example - Conclusions

We saw how event and state based debugging is used together to debug the binary image compression program. The integration of Ariadne and Sneaky provides us with an environment for the assessment of mixed event- and state-based debugging strategies and for the evaluation of event-based modeling techniques in an object-parallel programming environment.