Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Erata, Ferhat; Göknil, Arda; Tekinerdogan, Bedir et al.
2017In 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017))
Peer reviewed
 

Files


Full Text
Tarski_FSE.pdf
Publisher postprint (1.17 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Traceability; Domain-Specific Modeling; Formal Trace Semantics
Abstract :
[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/).
Disciplines :
Computer science
Author, co-author :
Erata, Ferhat;  Wageningen University - WUR
Göknil, Arda ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Tekinerdogan, Bedir;  Wageningen University - WUR
Kardas, Geylani;  Ege University
External co-authors :
yes
Language :
English
Title :
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Publication date :
2017
Event name :
ESEC / FSE 2017
Event place :
Paderborn, Germany
Event date :
from 04-09-2017 to 08-09-2017
Audience :
International
Main work title :
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017))
Pages :
959-963
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 02 August 2017

Statistics


Number of views
111 (11 by Unilu)
Number of downloads
252 (15 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
0
OpenCitations
 
1
WoS citations
 
4

Bibliography


Similar publications



Contact ORBilu