Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

102 Downloads (Pure)
OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind277
Sider (fra-til)147-160
Antal sider14
ISSN2075-2180
DOI
StatusUdgivet - 7 sep. 2018
Begivenhed9th Symposium on Games, Automata, Logics and Formal Verification - Saarbrüchen, Tyskland
Varighed: 26 sep. 201828 sep. 2018
Konferencens nummer: 9

Konference

Konference9th Symposium on Games, Automata, Logics and Formal Verification
Nummer9
LandTyskland
BySaarbrüchen
Periode26/09/201828/09/2018

Fingerprint

Real time systems
Model checking
Testing

Citer dette

@inproceedings{309814802578498487ec6e0936e8f0e9,
title = "Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar",
author = "Gundersen, {Tobias R.} and Florian Lorber and Ulrik Nyman and Christian Ovesen",
year = "2018",
month = "9",
day = "7",
doi = "10.4204/EPTCS.277.11",
language = "English",
volume = "277",
pages = "147--160",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",
publisher = "Open Publishing Association",

}

Effortless Fault Localisation : Conformance Testing of Real-Time Systems in Ecdar. / Gundersen, Tobias R.; Lorber, Florian; Nyman, Ulrik; Ovesen, Christian.

I: Electronic Proceedings in Theoretical Computer Science, Bind 277, 07.09.2018, s. 147-160.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Effortless Fault Localisation

T2 - Conformance Testing of Real-Time Systems in Ecdar

AU - Gundersen, Tobias R.

AU - Lorber, Florian

AU - Nyman, Ulrik

AU - Ovesen, Christian

PY - 2018/9/7

Y1 - 2018/9/7

UR - http://ulrik.blog.aau.dk/ecdar/

U2 - 10.4204/EPTCS.277.11

DO - 10.4204/EPTCS.277.11

M3 - Conference article in Journal

VL - 277

SP - 147

EP - 160

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -