Symbolic execution of multithreaded programs from arbitrary program contexts
Tom Bergan, Dan Grossman, Luis Ceze[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications
OOPSLA '14
Portland, Oregon, USA
Association for Computing Machinery
New York, NY, USA
Pages 491-506
2014
Note(s): symbolic execution
OOPSLA '14
Portland, Oregon, USA
Association for Computing Machinery
New York, NY, USA
Pages 491-506
2014
Note(s): symbolic execution