Title: A reliability growth model for protocol validation and testing by random state exploration