Compositional Random Testing Using Extended Symbolic Transition Systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationTesting Software and Systems
EditorsBurkhart Wolff, Fatiha Zaïdi
PublisherSpringer Verlag
Pages179-194
Volume7019
DOIs
Publication statusPublished - 2011
EventInternational Conference on Testing Software and Systems - Paris, France
Duration: 7 Nov 201110 Nov 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceInternational Conference on Testing Software and Systems
CountryFrance
CityParis
Period7/11/1110/11/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Schwarzl, C., Aichernig, B., & Wotawa, F. (2011). Compositional Random Testing Using Extended Symbolic Transition Systems. In B. Wolff, & F. Zaïdi (Eds.), Testing Software and Systems (Vol. 7019, pp. 179-194). (Lecture Notes in Computer Science). Springer Verlag. https://doi.org/10.1007/978-3-642-24580-0_13

Compositional Random Testing Using Extended Symbolic Transition Systems. / Schwarzl, Christian; Aichernig, Bernhard; Wotawa, Franz.

Testing Software and Systems. ed. / Burkhart Wolff; Fatiha Zaïdi. Vol. 7019 Springer Verlag, 2011. p. 179-194 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Schwarzl, C, Aichernig, B & Wotawa, F 2011, Compositional Random Testing Using Extended Symbolic Transition Systems. in B Wolff & F Zaïdi (eds), Testing Software and Systems. vol. 7019, Lecture Notes in Computer Science, Springer Verlag, pp. 179-194, International Conference on Testing Software and Systems, Paris, France, 7/11/11. https://doi.org/10.1007/978-3-642-24580-0_13
Schwarzl C, Aichernig B, Wotawa F. Compositional Random Testing Using Extended Symbolic Transition Systems. In Wolff B, Zaïdi F, editors, Testing Software and Systems. Vol. 7019. Springer Verlag. 2011. p. 179-194. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-24580-0_13
Schwarzl, Christian ; Aichernig, Bernhard ; Wotawa, Franz. / Compositional Random Testing Using Extended Symbolic Transition Systems. Testing Software and Systems. editor / Burkhart Wolff ; Fatiha Zaïdi. Vol. 7019 Springer Verlag, 2011. pp. 179-194 (Lecture Notes in Computer Science).
@inproceedings{d70f70bf39d14ce9b75d8214ea59bda6,
title = "Compositional Random Testing Using Extended Symbolic Transition Systems",
author = "Christian Schwarzl and Bernhard Aichernig and Franz Wotawa",
note = "IFIP WG 6.1 I",
year = "2011",
doi = "10.1007/978-3-642-24580-0_13",
language = "English",
volume = "7019",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "179--194",
editor = "Burkhart Wolff and Fatiha Za{\"i}di",
booktitle = "Testing Software and Systems",
address = "Germany",

}

TY - GEN

T1 - Compositional Random Testing Using Extended Symbolic Transition Systems

AU - Schwarzl, Christian

AU - Aichernig, Bernhard

AU - Wotawa, Franz

N1 - IFIP WG 6.1 I

PY - 2011

Y1 - 2011

UR - http://ictss2011.lri.fr/history.html

U2 - 10.1007/978-3-642-24580-0_13

DO - 10.1007/978-3-642-24580-0_13

M3 - Conference contribution

VL - 7019

T3 - Lecture Notes in Computer Science

SP - 179

EP - 194

BT - Testing Software and Systems

A2 - Wolff, Burkhart

A2 - Zaïdi, Fatiha

PB - Springer Verlag

ER -