Debugging Statecharts Via Model-Code Traceability.

Liang Guo, Abhik Roychoudhury

Browse the full ISoLA paper archive.