[Virgil] Thought on Tessy

[Benjamin Titzer]

This looks like a very interesting tool. I am not sure exactly how it 
automatically derives the test cases, but if it requires some program 
analysis, such things should generally be easier to do on Virgil because 
it is typed and has better defined semantics.

-B

======================================================
Imagination is more important than knowledge.
-- Albert Einstein

On Fri, 18 May 2007, Douglas Macdonald wrote:

> Hi,
>
> This is not an important question, I'm just curious to
> hear your thoughts.
>
> In the context of Virgil, any thoughts on Tessy?
>
> (http://www.razorcat.com/frame_main/produkte/unterpunkte/tessy_e.html)
>
> Best,
>
> Douglas
>
>
>      ___________________________________________________________
> Yahoo! Answers - Got a question? Someone out there knows the answer. Try it
> now.
> http://uk.answers.yahoo.com/
> _______________________________________________
> Virgil mailing list
> Virgil at lists.ucla.edu
> http://lists.ucla.edu/cgi-bin/mailman/listinfo/virgil
>