Hello!

1 view
Skip to first unread message

Tony Morris

unread,
May 26, 2008, 8:46:40 PM5/26/08
to redu...@googlegroups.com
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello everyone, welcome to the Reductio mailing list, where I hope we
can share interesting ideas on the automation of verifying our software.

I have just written an article that discusses the testing of Java's
Object equals/hashCode implementation using Reductio, which you might
find interesting. Please feel free to ask questions.

http://wiki.workingmouse.com/index.php/Reductio_EqualsHashCode

- --
Tony Morris
http://tmorris.net/

Real-world problems are simply degenerate cases of pure mathematical
problems.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFIO1nwmnpgrYe6r60RAm4UAKCAzkdB6EnQYIrr8pazEerHofYVqgCgpHWV
KcsDFbdSRNfVTHRA15HHEmQ=
=AUpY
-----END PGP SIGNATURE-----

Reply all
Reply to author
Forward
0 new messages