[isabelle-dev] Feedback from a Isabelle tutorial

Clemens Ballarin ballarin at in.tum.de
Sat Jun 25 11:51:45 CEST 2011

Quoting Makarius <makarius at sketis.net>:

> In principle everything is possible, but one needs to try hard to  
> minimize "options" and "features".  Otherwise it becomes impossible  
> to maintain robustness of the application.  There are no proper  
> automated test procedures, which means I usually play through all  
> the important things manually (on 3 platform families).

Java provides support for GUI tests through a Robot class, and there  
are frameworks out there since everybode has this problem.  It'll sure  
be worth investigating automatic testing (student project?).


More information about the isabelle-dev mailing list