Symbolic execution of multithreaded programs from arbitrary program contexts
T Bergan, D Grossman, L Ceze - ACM SIGPLAN Notices, 2014 - dl.acm.org
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - ready.cs.washington.edu
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - Citeseer
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - homes.cs.washington.edu
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - dada.cs.washington.edu
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - scholar.archive.org
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
Symbolic execution of multithreaded programs from arbitrary program contexts
T Bergan, D Grossman, L Ceze - Proceedings of the 2014 ACM …, 2014 - dl.acm.org
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - scholar.archive.org
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - ready.cs.washington.edu
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …
[PDF][PDF] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
T Bergan, D Grossman, L Ceze - homes.cs.washington.edu
We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …
from an arbitrary program context. We argue that this can enable more efficient symbolic …