Cite
MLA Citation
Valerio Terragni and Mauro Pezzè. “Statically driven generation of concurrent tests for thread‐safe classes.” Software testing, verification & reliability, vol. 31, 2021, p. n/a. http://access.bl.uk/ark:/81055/vdc_100130155070.0x000043