Back to Square One...

Today, I met with Yoonki in order to deploy and configure iTutor. The most recent version of the API we were able to recover, unfortunately, is the initial version. My next move is to discuss the limitations of the JPF tool with Suresh and Kunal. I recall problems in the previous implementation of the project, where I had the tool generating code that JPF would be unable to execute (i.e., switch statements). I will strive to quickly and efficiently have a working demo of the iTutor tool very soon, before my workload increases greatly. On a side note, I will also work on the tool's website, where instructions about using the tool will be available.