Tracing the executions of concurrent programs

Elsa Gunter; Doron Peled

doi:10.1016/S1571-0661(04)80581-4

Tracing the executions of concurrent programs

Elsa Gunter, Doron Peled

Research output: Contribution to journal › Conference article › peer-review

4 Scopus citations

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 language	English
Pages (from-to)	128-141
Number of pages	14
Journal	Electronic Notes in Theoretical Computer Science
Volume	70
Issue number	4
DOIs	https://doi.org/10.1016/S1571-0661(04)80581-4
State	Published - Dec 2002
Externally published	Yes
Event	RV'02, Runtime Verification 2002 (FLoC satellite Event) - Copenhagen, Denmark Duration: 26 Jul 2002 → 26 Jul 2002

Access to Document

10.1016/S1571-0661(04)80581-4

Cite this

@article{5ecfafe926a34f75998971350dd78b79,

title = "Tracing the executions of concurrent programs",

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.",

author = "Elsa Gunter and Doron Peled",

year = "2002",

month = dec,

doi = "10.1016/S1571-0661(04)80581-4",

language = "אנגלית",

volume = "70",

pages = "128--141",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "4",

note = "RV'02, Runtime Verification 2002 (FLoC satellite Event) ; Conference date: 26-07-2002 Through 26-07-2002",

}

TY - JOUR

T1 - Tracing the executions of concurrent programs

AU - Gunter, Elsa

AU - Peled, Doron

PY - 2002/12

Y1 - 2002/12

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=1442316717&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(04)80581-4

DO - 10.1016/S1571-0661(04)80581-4

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:1442316717

SN - 1571-0661

VL - 70

SP - 128

EP - 141

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 4

T2 - RV'02, Runtime Verification 2002 (FLoC satellite Event)

Y2 - 26 July 2002 through 26 July 2002

ER -

Tracing the executions of concurrent programs

Abstract

Access to Document

Other files and links

Fingerprint

Cite this