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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019
Herausgeber (Verlag)	IEEE Publications
Seiten	52-60
DOIs	https://doi.org/10.1109/ICSTW.2019.00032
Publikationsstatus	Veröffentlicht - 2019

Zugriff auf Dokument

10.1109/ICSTW.2019.00032

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

Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Redner/in)
22 Apr. 2019
Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Dieses zitieren

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. S. 52-60.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

@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

Zugriff auf Dokument

Projekte

CRYSTAL - Critical Systems Engineering Factories

Aktivitäten

Programming Behavioral Test Models for SMT Solving in Scala

Dieses zitieren