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)
Contribution to a book, Contribution to a conference proceedings

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
Page(s)/Article-Nr.: 376-400


  • Department of Computer Science [120000]
  • Chair of Computer Science 4 (Communication and Distributed Systems) [121710]