Stateful Testing: Finding More Errors in Code and Contracts

Yi Wei, Hannes Roth, Carlo A. Furia +5

Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many fau…