Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Schemmel, Daniel (Corresponding author); Büning, Julian; Rodríguez, César; Laprell, David; Wehrle, Klaus

Cham, Switzerland : Springer (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings / Shuvendu K. Lahiri, Chao Wang (Eds.). - Part 1
Seite(n)/Artikel-Nr.: 376-400