Reference : A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/31835
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
English
Erata, Ferhat [Wageningen University - WUR]
Göknil, Arda mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Tekinerdogan, Bedir [Wageningen University - WUR]
Kardas, Geylani [Ege University]
2017
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017))
959-963
Yes
International
ESEC / FSE 2017
from 04-09-2017 to 08-09-2017
Paderborn
Germany
[en] Traceability ; Domain-Specific Modeling ; Formal Trace Semantics
[en] We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between and within development artifacts. For any given artifact (e.g., requirements, architecture models and source code), Tarski allows the user to specify new trace types and their configurable semantics, while, using the semantics, it automatically infers new traces based on existing traces provided by the user, and checks the consistency of traces. It has been evaluated on three industrial case studies in the automotive domain (https://modelwriter.github.io/Tarski/).
http://hdl.handle.net/10993/31835
10.1145/3106237.3122825

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Tarski_FSE.pdfPublisher postprint1.14 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.