kirancodes.me
To Proof Maintenance & Beyond!
FSE 2017

A tool for automated reasoning about traces based on configurable formal semantics

Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas

Full textDOI 10.1145/3106237.3122825dblp

Abstract

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/).

BibTeX
@inproceedings{Erata-al:FSE17,
  author    = {Ferhat Erata and
               Arda Goknil and
               Bedir Tekinerdogan and
               Geylani Kardas},
  title     = {A tool for automated reasoning about traces based on configurable formal semantics},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {959--963},
  publisher = {{ACM}},
  year      = {2017},
}

Related papers