Symbolic partial-order execution for testing multi-threaded programs
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle[ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer International Publishing
Cham
Pages 376-400
2020
Springer International Publishing
Cham
Pages 376-400
2020