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.