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

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

Research output: Contribution to journalConference article in JournalResearchpeer-review

120 Downloads (Pure)
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume277
Pages (from-to)147-160
Number of pages14
ISSN2075-2180
DOIs
Publication statusPublished - 7 Sep 2018
Event9th Symposium on Games, Automata, Logics and Formal Verification - Saarbrüchen, Germany
Duration: 26 Sep 201828 Sep 2018
Conference number: 9

Conference

Conference9th Symposium on Games, Automata, Logics and Formal Verification
Number9
CountryGermany
CitySaarbrüchen
Period26/09/201828/09/2018

Fingerprint

Real time systems
Model checking
Testing

Cite this

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

In: Electronic Proceedings in Theoretical Computer Science, Vol. 277, 07.09.2018, p. 147-160.

Research output: Contribution to journalConference article in JournalResearchpeer-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 -