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 contributionResearchpeer-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

Aichernig, B. K., & Schumi, R. (2016). Property-based Testing with FsCheck by Deriving Properties from Business Rule Models. In Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016 (pp. 219-228). IEEE Computer Society. https://doi.org/10.1109/ICSTW.2016.24

Property-based Testing with FsCheck by Deriving Properties from Business Rule Models. / Aichernig, Bernhard K.; Schumi, Richard.

Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, 2016. p. 219-228.

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

Aichernig, BK & Schumi, R 2016, Property-based Testing with FsCheck by Deriving Properties from Business Rule Models. in Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, pp. 219-228. https://doi.org/10.1109/ICSTW.2016.24
Aichernig BK, Schumi R. Property-based Testing with FsCheck by Deriving Properties from Business Rule Models. In Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society. 2016. p. 219-228 https://doi.org/10.1109/ICSTW.2016.24
Aichernig, Bernhard K. ; Schumi, Richard. / Property-based Testing with FsCheck by Deriving Properties from Business Rule Models. Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, 2016. pp. 219-228
@inproceedings{601f4246420b4a8ab74b1bf339ac7fc9,
title = "Property-based Testing with FsCheck by Deriving Properties from Business Rule Models",
author = "Aichernig, {Bernhard K.} and Richard Schumi",
year = "2016",
doi = "10.1109/ICSTW.2016.24",
language = "English",
pages = "219--228",
booktitle = "Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

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

AU - Aichernig, Bernhard K.

AU - Schumi, Richard

PY - 2016

Y1 - 2016

U2 - 10.1109/ICSTW.2016.24

DO - 10.1109/ICSTW.2016.24

M3 - Conference contribution

SP - 219

EP - 228

BT - Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016

PB - IEEE Computer Society

ER -