Hello!

[Tony Morris]

-----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-----