Tracing the executions of concurrent programs

Elsa Gunter, Doron Peled

Research output: Contribution to journalConference articlepeer-review

Abstract

Checking the reliability of software is an ever growing challenge. Fully automatic tools that attempt to cover the entire state space often fail because of state explosion. We present instead a toolset that employs some less-ambitious but useful methods to assist in software debugging. The toolset provides an automatic translation of the code into visual flowcharts, allowing the user to interactively select execution paths. It assists the user by calculating path conditions and exploring the neighborhood of the paths. It also allows the user to interactively step through the execution of the program, directed by temporal formulas interpreted over finite sequences. We will show several different ways of using these capabilities for debugging sequential and concurrent programs.

Original languageEnglish (US)
Pages (from-to)128-141
Number of pages14
JournalElectronic Notes in Theoretical Computer Science
Volume70
Issue number4
DOIs
StatePublished - Dec 2002
Externally publishedYes
EventRV'02, Runtime Verification 2002 (FLoC satellite Event) - Copenhagen, Denmark
Duration: Jul 26 2002Jul 26 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Tracing the executions of concurrent programs'. Together they form a unique fingerprint.

Cite this