Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
A static slice "S" of a sequential program "Q" is an executable part of "Q" that computes the same function as "Q" does in a subset of variables at some selected point of interest. As originally introduced, it involves all potential terminating program executions. In debugging, however, we typically deal with a particular incorrect execution and are interested in locating the cause of incorrectness of that execution. Therefore, we are interested in a slice, referred to as a dynamic slice, that preserves the program's behavior for a specific input. ; The concept of dynamic slicing has been initially introduced for sequential programs. In this paper we extend the concept of dynamic slicing to distributed programs. A distributed program introduces new challenges (e.g., nonreproducible behaviors, nondeterministic selection of communication events, etc.) that are not captured by the original definition of dynamic slicing. Consequently, the concept of dynamic slicing needs to be extended in order to make it a useful tool for debugging distributed programs.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 2, number 2 (1992) ; click here to follow the link
Biblioteka Uniwersytetu Zielonogórskiego
Jul 14, 2025
Jul 6, 2020
221
https://zbc.uz.zgora.pl/repozytorium/publication/63786
| Edition name | Date |
|---|---|
| Dynamic slicing of distributed programs | Jul 14, 2025 |
Kaczorek, Tadeusz (1932- ) Triggiani, Roberto- ed. Maksimov, Vyacheslav I. - ed.
Ling, Wei-Ming Rivera, Daniel E. Skliar, Mikhail - red. Ramirez, W. Fred - red.
Duever, Thomas A. Penlidis, Alexander Skliar, Mikhail - red. Ramirez, W. Fred - red.
Yin, K. Karen Li, Xing Bonde, John Richards, Carl Cholwek, Gary Skliar, Mikhail - red. Ramirez, W. Fred - red.
Klein, Eric J. Rivera, Sheyla L. Skliar, Mikhail - red. Ramirez, W. Fred - red.
Tholudur, Arun Ramirez, W. Fred Skliar, Mikhail - red. Ramirez, W. Fred - red.
Luo, Ningsu De La Sen, Manuel Rodellar, José Yu, Xinghuo - red.