A Framework for Efficient Contract-based Testing of Software Components

Egon Valentini, Edmund Haselwanter, Gerhard Fliess

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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
ISBN (Print)0-7695-2413-3
Publication statusPublished - 2005

Cite this