There are extensive examples for the testing frameworks for contracts, ie off-chain code, for example as discussed in Lecture 8 of the plutus pioneer program https://youtu.be/zW3D2iM5uVg.
Its mentioned there that one thing not covered is the testing of validators directly, ie on-chain code. Are there examples of this available?