SHF: Small: Practical Controlled Concurrency Testing for Managed Code

Software testing is the predominant form of validating correctness for large real-world programs. Testing multi-threaded programs, where independent program tasks can execute concurrently and manipulate shared resources, remains challenging in practice since the sequence and ordering of interactions between multiple threads is hard to capture and…