Where exactly are the difficulties in reasoning logically about code? experimentation with an online system.

Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman

Browse the full ITiCSE paper archive.