Demonstration of an automated integrated test environment for web-based applications

Tiziana Margaria; Oliver Niese; Bernhard Steffen

doi:10.1007/3-540-46017-9_23

Demonstration of an automated integrated test environment for web-based applications

Tiziana Margaria, Oliver Niese, Bernhard Steffen

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

Original language	English
Title of host publication	Model Checking Software - 9th International SPIN Workshop, Proceedings
Editors	Dragan Bosnacki, Stefan Leue
Publisher	Springer Verlag
Pages	250-253
Number of pages	4
ISBN (Print)	3540434771, 9783540434771
DOIs	https://doi.org/10.1007/3-540-46017-9_23
Publication status	Published - 2002
Externally published	Yes
Event	9th International SPIN Workshop on Model Checking Software, SPIN 2002 - Grenoble, France Duration: 11 Apr 2002 → 13 Apr 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2318 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International SPIN Workshop on Model Checking Software, SPIN 2002
Country/Territory	France
City	Grenoble
Period	11/04/02 → 13/04/02

Access to Document

10.1007/3-540-46017-9_23

Cite this

Margaria, T., Niese, O., & Steffen, B. (2002). Demonstration of an automated integrated test environment for web-based applications. In D. Bosnacki, & S. Leue (Eds.), Model Checking Software - 9th International SPIN Workshop, Proceedings (pp. 250-253). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2318 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-46017-9_23

Margaria, Tiziana ; Niese, Oliver ; Steffen, Bernhard. / Demonstration of an automated integrated test environment for web-based applications. Model Checking Software - 9th International SPIN Workshop, Proceedings. editor / Dragan Bosnacki ; Stefan Leue. Springer Verlag, 2002. pp. 250-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ecc2083d56184743a7da1440b78d44f7,

title = "Demonstration of an automated integrated test environment for web-based applications",

author = "Tiziana Margaria and Oliver Niese and Bernhard Steffen",

year = "2002",

doi = "10.1007/3-540-46017-9_23",

language = "English",

isbn = "3540434771",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "250--253",

editor = "Dragan Bosnacki and Stefan Leue",

booktitle = "Model Checking Software - 9th International SPIN Workshop, Proceedings",

note = "9th International SPIN Workshop on Model Checking Software, SPIN 2002 ; Conference date: 11-04-2002 Through 13-04-2002",

}

Margaria, T, Niese, O & Steffen, B 2002, Demonstration of an automated integrated test environment for web-based applications. in D Bosnacki & S Leue (eds), Model Checking Software - 9th International SPIN Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2318 LNCS, Springer Verlag, pp. 250-253, 9th International SPIN Workshop on Model Checking Software, SPIN 2002, Grenoble, France, 11/04/02. https://doi.org/10.1007/3-540-46017-9_23

Demonstration of an automated integrated test environment for web-based applications. / Margaria, Tiziana; Niese, Oliver; Steffen, Bernhard.
Model Checking Software - 9th International SPIN Workshop, Proceedings. ed. / Dragan Bosnacki; Stefan Leue. Springer Verlag, 2002. p. 250-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2318 LNCS).

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

TY - GEN

T1 - Demonstration of an automated integrated test environment for web-based applications

AU - Margaria, Tiziana

AU - Niese, Oliver

AU - Steffen, Bernhard

PY - 2002

Y1 - 2002

UR - http://www.scopus.com/inward/record.url?scp=84893537658&partnerID=8YFLogxK

U2 - 10.1007/3-540-46017-9_23

DO - 10.1007/3-540-46017-9_23

M3 - Conference contribution

AN - SCOPUS:84893537658

SN - 3540434771

SN - 9783540434771

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 250

EP - 253

BT - Model Checking Software - 9th International SPIN Workshop, Proceedings

A2 - Bosnacki, Dragan

A2 - Leue, Stefan

PB - Springer Verlag

T2 - 9th International SPIN Workshop on Model Checking Software, SPIN 2002

Y2 - 11 April 2002 through 13 April 2002

ER -

Margaria T, Niese O, Steffen B. Demonstration of an automated integrated test environment for web-based applications. In Bosnacki D, Leue S, editors, Model Checking Software - 9th International SPIN Workshop, Proceedings. Springer Verlag. 2002. p. 250-253. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-46017-9_23

Demonstration of an automated integrated test environment for web-based applications

Publication series

Conference

Access to Document

Other files and links

Cite this