Tools for Test Case Generation

Axel Belinfante; Lars Frantzen; Christian Schallhart

doi:10.1007/11498490_18

Tools for Test Case Generation

Axel Belinfante, Lars Frantzen, Christian Schallhart

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

32 Citations (Scopus)

Abstract

The preceding parts of this book have mainly dealt with test theory, aimed at improving the practical techniques which are applied by testers to enhance the quality of soft- and hardware systems. Only if these academic results can be efficiently and successfully transferred back to practice, they were worth the effort.

Original language	Undefined
Title of host publication	Model-Based Testing of Reactive Systems: Advanced Lectures
Editors	Manfred Broy, Bengt Jonsson, Joost P. Katoen, Martin Leucker, Alexander Pretschner
Place of Publication	Berlin
Publisher	Springer
Pages	391-438
Number of pages	48
ISBN (Print)	3 540 26278 4
DOIs	https://doi.org/10.1007/11498490_18
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	3472
Volume	3472

Keywords

EWI-1578
IR-62839
METIS-229288

Access to Document

10.1007/11498490_18

http://eprints.eemcs.utwente.nl/secure2/1578/01/fulltext.pdf

Cite this

@inbook{819a97ae8092453f8971ab5093596c1f,

title = "Tools for Test Case Generation",

abstract = "The preceding parts of this book have mainly dealt with test theory, aimed at improving the practical techniques which are applied by testers to enhance the quality of soft- and hardware systems. Only if these academic results can be efficiently and successfully transferred back to practice, they were worth the effort.",

keywords = "EWI-1578, IR-62839, METIS-229288",

author = "Axel Belinfante and Lars Frantzen and Christian Schallhart",

note = "eemcs1578 ",

year = "2005",

doi = "10.1007/11498490_18",

language = "Undefined",

isbn = "3 540 26278 4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "3472",

pages = "391--438",

editor = "Manfred Broy and Bengt Jonsson and Katoen, {Joost P.} and Martin Leucker and Alexander Pretschner",

booktitle = "Model-Based Testing of Reactive Systems: Advanced Lectures",

address = "Netherlands",

}

Tools for Test Case Generation. / Belinfante, Axel; Frantzen, Lars; Schallhart, Christian.

Model-Based Testing of Reactive Systems: Advanced Lectures. ed. / Manfred Broy; Bengt Jonsson; Joost P. Katoen; Martin Leucker; Alexander Pretschner. Berlin : Springer, 2005. p. 391-438 10.1007/11498490_18 (Lecture Notes in Computer Science; Vol. 3472, No. 3472).

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

TY - CHAP

T1 - Tools for Test Case Generation

AU - Belinfante, Axel

AU - Frantzen, Lars

AU - Schallhart, Christian

N1 - eemcs1578

PY - 2005

Y1 - 2005

N2 - The preceding parts of this book have mainly dealt with test theory, aimed at improving the practical techniques which are applied by testers to enhance the quality of soft- and hardware systems. Only if these academic results can be efficiently and successfully transferred back to practice, they were worth the effort.

AB - The preceding parts of this book have mainly dealt with test theory, aimed at improving the practical techniques which are applied by testers to enhance the quality of soft- and hardware systems. Only if these academic results can be efficiently and successfully transferred back to practice, they were worth the effort.

KW - EWI-1578

KW - IR-62839

KW - METIS-229288

U2 - 10.1007/11498490_18

DO - 10.1007/11498490_18

M3 - Chapter

SN - 3 540 26278 4

T3 - Lecture Notes in Computer Science

SP - 391

EP - 438

BT - Model-Based Testing of Reactive Systems: Advanced Lectures

A2 - Broy, Manfred

A2 - Jonsson, Bengt

A2 - Katoen, Joost P.

A2 - Leucker, Martin

A2 - Pretschner, Alexander

PB - Springer

CY - Berlin

ER -