I'm wondering if anyone has compiled a summary of commonly used algebraic laws or axioms (e.g. closure, associativity, commutativity, distributivity)?
The reason I ask is that these laws or axioms are very useful in expressing properties to automatically test in generative software testing. Having a summary of these laws handy would help in selecting effective tests.
I've found some useful summaries of algebraic structures and have started to extract the laws or axioms those articles list but it seems like the kind of summary that may well already exist somewhere.
The functions and data structures being tested don't always seem to neatly belong to an algebraic structure I recognise but they are often subject to individual laws. This situation probably reflects my lack of algebraic intuition more than anything.
These references have been useful so far:
[not enough reputation points to post the other links sorry]
Any advice much appreciated,