Compositional Random Testing Using Extended Symbolic Transition Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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