Diagnosing java programs with static abstractions of data structures

Franz Wotawa; Rong Chen; Daniel Köb

Diagnosing java programs with static abstractions of data structures

Franz Wotawa, Rong Chen, Daniel Köb

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Intelligent information processing II
Editors	Zhongzhi Shi, Qing He
Place of Publication	Boston
Publisher	Kluwer
Pages	369-372
Volume	163
ISBN (Print)	0-387-23151-X
Publication status	Published - 2004
Event	International Conference on Intelligent Information Processing - Beijing, China Duration: 21 Oct 2004 → 23 Oct 2004

Publication series

Name	International Federation for Information Processing
Publisher	Kluwer

Conference

Conference	International Conference on Intelligent Information Processing
Country/Territory	China
City	Beijing
Period	21/10/04 → 23/10/04

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Cite this

Diagnosing java programs with static abstractions of data structures. / Wotawa, Franz; Chen, Rong; Köb, Daniel.
Intelligent information processing II. ed. / Zhongzhi Shi; Qing He. Vol. 163 Boston: Kluwer, 2004. p. 369-372 (International Federation for Information Processing).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

@inproceedings{64f69763fe404b7682babbf4ba4bc2ea,

title = "Diagnosing java programs with static abstractions of data structures",

author = "Franz Wotawa and Rong Chen and Daniel K{\"o}b",

year = "2004",

language = "English",

isbn = "0-387-23151-X",

volume = "163",

series = "International Federation for Information Processing",

publisher = "Kluwer",

pages = "369--372",

editor = "Zhongzhi Shi and Qing He",

booktitle = "Intelligent information processing II",

address = "Netherlands",

note = "International Conference on Intelligent Information Processing ; Conference date: 21-10-2004 Through 23-10-2004",

}

TY - GEN

T1 - Diagnosing java programs with static abstractions of data structures

AU - Wotawa, Franz

AU - Chen, Rong

AU - Köb, Daniel

PY - 2004

Y1 - 2004

M3 - Conference paper

SN - 0-387-23151-X

VL - 163

T3 - International Federation for Information Processing

SP - 369

EP - 372

BT - Intelligent information processing II

A2 - Shi, Zhongzhi

A2 - He, Qing

PB - Kluwer

CY - Boston

T2 - International Conference on Intelligent Information Processing

Y2 - 21 October 2004 through 23 October 2004

ER -