Automated requirements testing with abstract oracles

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

Original languageEnglish
Title of host publicationFast abstracts and industrial practices
Place of PublicationPaderborn
PublisherIEEE Computer Soc.
Pages21-22
ISBN (Print)3-00-003410-2
Publication statusPublished - 1998
EventInternational Symposium on Software Reliability Engineering - Paderborn, Germany
Duration: 4 Nov 19987 Nov 1998

Conference

ConferenceInternational Symposium on Software Reliability Engineering
Country/TerritoryGermany
CityPaderborn
Period4/11/987/11/98
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this