A Framework for Efficient Contract-based Testing of Software Components

Egon Valentini, Edmund Haselwanter, Gerhard Fliess

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

Original languageEnglish
Title of host publicationCompsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts
Place of PublicationLos Alamitos, California
PublisherIEEE Computer Society
Pages219-222
ISBN (Print)0-7695-2413-3
Publication statusPublished - 2005

Cite this

Valentini, E., Haselwanter, E., & Fliess, G. (2005). A Framework for Efficient Contract-based Testing of Software Components. In Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts (pp. 219-222). Los Alamitos, California: IEEE Computer Society.

A Framework for Efficient Contract-based Testing of Software Components. / Valentini, Egon; Haselwanter, Edmund; Fliess, Gerhard.

Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts. Los Alamitos, California : IEEE Computer Society, 2005. p. 219-222.

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

Valentini, E, Haselwanter, E & Fliess, G 2005, A Framework for Efficient Contract-based Testing of Software Components. in Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts. IEEE Computer Society, Los Alamitos, California, pp. 219-222.
Valentini E, Haselwanter E, Fliess G. A Framework for Efficient Contract-based Testing of Software Components. In Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts. Los Alamitos, California: IEEE Computer Society. 2005. p. 219-222
Valentini, Egon ; Haselwanter, Edmund ; Fliess, Gerhard. / A Framework for Efficient Contract-based Testing of Software Components. Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts. Los Alamitos, California : IEEE Computer Society, 2005. pp. 219-222
@inproceedings{42180bd571484ad09d925c4fbb23a0ab,
title = "A Framework for Efficient Contract-based Testing of Software Components",
author = "Egon Valentini and Edmund Haselwanter and Gerhard Fliess",
year = "2005",
language = "English",
isbn = "0-7695-2413-3",
pages = "219--222",
booktitle = "Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

T1 - A Framework for Efficient Contract-based Testing of Software Components

AU - Valentini, Egon

AU - Haselwanter, Edmund

AU - Fliess, Gerhard

PY - 2005

Y1 - 2005

UR - http://aquila.nvc.cs.vt.edu/compsac2005/

M3 - Conference contribution

SN - 0-7695-2413-3

SP - 219

EP - 222

BT - Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts

PB - IEEE Computer Society

CY - Los Alamitos, California

ER -