From the benchmark suite that comes with the state-of-the-art model checking environment VIS [10], we have selected the examples s1269 and PicoJava/biu for generating partial design problems. The s1269 benchmark implements an Arithmetic Logic Unit (ALU), however there does not exist a detailed specification. PicoJava/biu is part of the PicoJava core that itself implements the Java Virtual Machi...

We introduce EDM Vis, an information visualization software tool for exploring, navigating and understanding student data logs. EDM Vis loads student logs, entire classes, hundreds of students, at a time, and displays the student behavior of those students as they solved problems using a software tutor. The visualization uses a tree structure to provide an overview of class performance, and int...