Programming Behavioral Test Models for SMT Solving in Scala

Bernhard Aichernig; Benedikt Maderbacher; Stefan Tiran

doi:10.1109/ICSTW.2019.00032

Programming Behavioral Test Models for SMT Solving in Scala

Bernhard Aichernig, Benedikt Maderbacher, Stefan Tiran

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019
Publisher	IEEE Publications
Pages	52-60
DOIs	https://doi.org/10.1109/ICSTW.2019.00032
Publication status	Published - 2019

Access to Document

10.1109/ICSTW.2019.00032

CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Project: Research project

Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Speaker)
22 Apr 2019
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Cite this

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 proceeding › Conference paper › peer-review

@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 paper

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 -

Programming Behavioral Test Models for SMT Solving in Scala

Access to Document

Projects

CRYSTAL - Critical Systems Engineering Factories

Activities

Programming Behavioral Test Models for SMT Solving in Scala

Cite this