2014•Unpublished venueRequires access

Symbolic execution of multithreaded programs from arbitrary program contexts

Tom Bergan, Dan Grossman, Luís Ceze

Abstract

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 exploration of deep code paths in multithreaded programs by allowing the symbolic engine to jump directly to program contexts of interest.

About this research paper

What this paper is about

Why it matters

OpenAlex reports 26 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Computer science, Symbolic execution, Programming language, The Symbolic, Symbolic trajectory evaluation, Context (archaeology), Code (set theory), Program code