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

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

doi:10.4204/EPTCS.277.11

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

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

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

147 Downloads (Pure)

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	277
Pages (from-to)	147-160
Number of pages	14
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.277.11
Publication status	Published - 7 Sep 2018
Event	9th Symposium on Games, Automata, Logics and Formal Verification - Saarbrüchen, Germany Duration: 26 Sep 2018 → 28 Sep 2018 Conference number: 9

Conference

Conference	9th Symposium on Games, Automata, Logics and Formal Verification
Number	9
Country	Germany
City	Saarbrüchen
Period	26/09/2018 → 28/09/2018

Access to Document

10.4204/EPTCS.277.11Licence: CC BY 4.0

2018-GandALF-NymanFinal published version, 1.51 MBLicence: CC BY 4.0

Fingerprint Dive into the research topics of 'Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar'. Together they form a unique fingerprint.

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 = sep,

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",

note = "9th Symposium on Games, Automata, Logics and Formal Verification, (GandALF{\textquoteright}18 ; Conference date: 26-09-2018 Through 28-09-2018",

}

TY - GEN

T1 - Effortless Fault Localisation

T2 - 9th Symposium on Games, Automata, Logics and Formal Verification

AU - Gundersen, Tobias R.

AU - Lorber, Florian

AU - Nyman, Ulrik

AU - Ovesen, Christian

N1 - Conference code: 9

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

Y2 - 26 September 2018 through 28 September 2018

ER -