From faults via test purposes to test cases: on the fault-based testing of concurrent systems

Bernhard Aichernig; Carlo Corrales Delgado

doi:10.1007/11693017_24

From faults via test purposes to test cases: on the fault-based testing of concurrent systems

Bernhard Aichernig, Carlo Corrales Delgado

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering
Editors	Luciano Baresi, Reiko Heckel
Publisher	Springer Verlag
Pages	324-338
Volume	3922
ISBN (Print)	3-540-33093-3
DOIs	https://doi.org/10.1007/11693017_24
Publication status	Published - 2006
Event	International Conference on Fundamental Approaches to Software Engineering - Wien, Austria Duration: 27 Mar 2006 → 28 Mar 2006

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag

Conference

Conference	International Conference on Fundamental Approaches to Software Engineering
Country/Territory	Austria
City	Wien
Period	27/03/06 → 28/03/06

Access to Document

10.1007/11693017_24

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

From faults via test purposes to test cases: on the fault-based testing of concurrent systems. / Aichernig, Bernhard; Delgado, Carlo Corrales.
Fundamental Approaches to Software Engineering. ed. / Luciano Baresi; Reiko Heckel. Vol. 3922 Springer Verlag, 2006. p. 324-338 (Lecture Notes in Computer Science).

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

Aichernig, B & Delgado, CC 2006, From faults via test purposes to test cases: on the fault-based testing of concurrent systems. in L Baresi & R Heckel (eds), Fundamental Approaches to Software Engineering. vol. 3922, Lecture Notes in Computer Science, Springer Verlag, pp. 324-338, International Conference on Fundamental Approaches to Software Engineering, Wien, Austria, 27/03/06. https://doi.org/10.1007/11693017_24

@inproceedings{30d66974b8a549328b2f8da132de216e,

title = "From faults via test purposes to test cases: on the fault-based testing of concurrent systems",

author = "Bernhard Aichernig and Delgado, {Carlo Corrales}",

year = "2006",

doi = "10.1007/11693017_24",

language = "English",

isbn = "3-540-33093-3",

volume = "3922",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "324--338",

editor = "Luciano Baresi and Reiko Heckel",

booktitle = "Fundamental Approaches to Software Engineering",

address = "Germany",

note = "International Conference on Fundamental Approaches to Software Engineering ; Conference date: 27-03-2006 Through 28-03-2006",

}

TY - GEN

T1 - From faults via test purposes to test cases: on the fault-based testing of concurrent systems

AU - Aichernig, Bernhard

AU - Delgado, Carlo Corrales

PY - 2006

Y1 - 2006

U2 - 10.1007/11693017_24

DO - 10.1007/11693017_24

M3 - Conference paper

SN - 3-540-33093-3

VL - 3922

T3 - Lecture Notes in Computer Science

SP - 324

EP - 338

BT - Fundamental Approaches to Software Engineering

A2 - Baresi, Luciano

A2 - Heckel, Reiko

PB - Springer Verlag

T2 - International Conference on Fundamental Approaches to Software Engineering

Y2 - 27 March 2006 through 28 March 2006

ER -

From faults via test purposes to test cases: on the fault-based testing of concurrent systems

Publication series

Conference

Access to Document

Projects

Formal Methods

Cite this