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

Ferhat Erata, A. Göknil, B. Tekinerdogan, G. Kardas

Research output: Chapter in Book/Report/Conference proceedingConference paper

3 Citations (Scopus)

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/).
Original languageEnglish
Title of host publicationProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017)
PublisherACM
Pages959-963
ISBN (Print)9781450351058
DOIs
Publication statusPublished - 2017

Fingerprint Dive into the research topics of 'A tool for automated reasoning about traces based on configurable formal semantics'. Together they form a unique fingerprint.

  • Cite this

    Erata, F., Göknil, A., Tekinerdogan, B., & Kardas, G. (2017). A tool for automated reasoning about traces based on configurable formal semantics. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017) (pp. 959-963). ACM. https://doi.org/10.1145/3106237.3122825