The Completeness Problem of Parallel Program Testing

Dieter Kranzlmüller; Christian Schaubschläger; Jens Jürgen Volkert

The Completeness Problem of Parallel Program Testing

Dieter Kranzlmüller, Christian Schaubschläger, Jens Jürgen Volkert

Institute of Complex Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Original language	English
Title of host publication	Proc. SCI 2000, 4th World Mulitconference on Systemics, Cybernetics and Informatics, Intl. Institute of Informatics and Systemics (IIIS)
Editors	B.Sanchez, J.M. Pineda, J. Wolfmann, Z. Bellahsene, F. Ferri
Pages	435-440
Number of pages	6
Volume	VII
Publication status	Published - Jul 2000

Fields of science

101015 Operations research
101018 Statistics
102005 Computer aided design (CAD)
102011 Formal languages
106007 Biostatistics
202005 Computer architecture
202017 Embedded systems
202028 Microelectronics
202041 Computer engineering
305907 Medical statistics

Cite this

@inproceedings{6f589d9b6f5c483fa8ed22b55600c0b3,

title = "The Completeness Problem of Parallel Program Testing",

author = "Dieter Kranzlm{\"u}ller and Christian Schaubschl{\"a}ger and Volkert, \{Jens J{\"u}rgen\}",

year = "2000",

month = jul,

language = "English",

isbn = "980-07-6693-6",

volume = "VII",

pages = "435--440",

editor = "\{B.Sanchez, J.M. Pineda, J. Wolfmann, Z. Bellahsene, F. Ferri\}",

booktitle = "Proc. SCI 2000, 4th World Mulitconference on Systemics, Cybernetics and Informatics, Intl. Institute of Informatics and Systemics (IIIS)",

}

The Completeness Problem of Parallel Program Testing. / Kranzlmüller, Dieter; Schaubschläger, Christian; Volkert, Jens Jürgen.
Proc. SCI 2000, 4th World Mulitconference on Systemics, Cybernetics and Informatics, Intl. Institute of Informatics and Systemics (IIIS). ed. / B.Sanchez, J.M. Pineda, J. Wolfmann, Z. Bellahsene, F. Ferri. Vol. VII 2000. p. 435-440.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

TY - GEN

T1 - The Completeness Problem of Parallel Program Testing

AU - Kranzlmüller, Dieter

AU - Schaubschläger, Christian

AU - Volkert, Jens Jürgen

PY - 2000/7

Y1 - 2000/7

M3 - Conference proceedings

SN - 980-07-6693-6

VL - VII

SP - 435

EP - 440

BT - Proc. SCI 2000, 4th World Mulitconference on Systemics, Cybernetics and Informatics, Intl. Institute of Informatics and Systemics (IIIS)

A2 - B.Sanchez, J.M. Pineda, J. Wolfmann, Z. Bellahsene, F. Ferri, null

ER -