Deterministic execution testing of concurrent Ada programs
R. Carver, Kuo‐Chung Tai · 1989
An execution of a concurrent program P exercises a sequence of synchronization events, called a synchronization sequence or a SYN-sequence. This non-deterministic execution behavior creates a problem during the testing phase of P: when testing P with input X, a single execution is insufficient to determine the correctness of P with input X.