Property-based Testing with FsCheck by Deriving Properties from Business Rule Models

Bernhard K. Aichernig, Richard Schumi

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

Original languageEnglish
Title of host publicationNinth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016
PublisherIEEE Computer Society
Pages219-228
Number of pages10
DOIs
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Cite this