Programming Behavioral Test Models for SMT Solving in Scala

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

Original languageEnglish
Title of host publication2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019
PublisherIEEE Publications
Pages52-60
DOIs
Publication statusPublished - 2019

Cite this

Aichernig, B., Maderbacher, B., & Tiran, S. (2019). Programming Behavioral Test Models for SMT Solving in Scala. In 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019 (pp. 52-60). IEEE Publications. https://doi.org/10.1109/ICSTW.2019.00032

Programming Behavioral Test Models for SMT Solving in Scala. / Aichernig, Bernhard; Maderbacher, Benedikt; Tiran, Stefan.

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, 2019. p. 52-60.

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

Aichernig, B, Maderbacher, B & Tiran, S 2019, Programming Behavioral Test Models for SMT Solving in Scala. in 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, pp. 52-60. https://doi.org/10.1109/ICSTW.2019.00032
Aichernig B, Maderbacher B, Tiran S. Programming Behavioral Test Models for SMT Solving in Scala. In 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications. 2019. p. 52-60 https://doi.org/10.1109/ICSTW.2019.00032
Aichernig, Bernhard ; Maderbacher, Benedikt ; Tiran, Stefan. / Programming Behavioral Test Models for SMT Solving in Scala. 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, 2019. pp. 52-60
@inproceedings{0f456c3ee5db44c58ec8739c0b5f4764,
title = "Programming Behavioral Test Models for SMT Solving in Scala",
author = "Bernhard Aichernig and Benedikt Maderbacher and Stefan Tiran",
year = "2019",
doi = "10.1109/ICSTW.2019.00032",
language = "English",
pages = "52--60",
booktitle = "2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019",
publisher = "IEEE Publications",

}

TY - GEN

T1 - Programming Behavioral Test Models for SMT Solving in Scala

AU - Aichernig, Bernhard

AU - Maderbacher, Benedikt

AU - Tiran, Stefan

PY - 2019

Y1 - 2019

U2 - 10.1109/ICSTW.2019.00032

DO - 10.1109/ICSTW.2019.00032

M3 - Conference contribution

SP - 52

EP - 60

BT - 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019

PB - IEEE Publications

ER -