Skip to main content


International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer OnlineFirst articles

05.06.2021 | General Open Access

Scalable online first-order monitoring

Online monitoring is the task of identifying complex temporal patterns while incrementally processing streams of data-carrying events. Existing state-of-the-art monitors for first-order patterns, which may refer to and quantify over data values …

01.06.2021 | Competitions and Challenges

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

In various scientific communities dealing with formal analysis, software competitions have emerged and contributed to fostering progress in state of the art and providing insight into the evolution of the involved technologies. The model checking …

01.06.2021 | General

Comparing controlled system synthesis and suppression enforcement

Runtime enforcement and control system synthesis are two verification techniques that automate the process of transforming an erroneous system into a valid one. As both techniques can modify the behaviour of a system to prevent erroneous …

31.05.2021 | Competitions and Challenges

SL-COMP: competition of solvers for separation logic

Report on the Third Edition

SL-COMP is a competition bringing together researchers and users interested in automated reasoning methods for separation logic (SL). The competition provides a snapshot of the state of the art in the area through a set of problems that put …

28.05.2021 | Competitions and Challenges Open Access

CoCo 2019: report on the eighth confluence competition

We report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.

Aktuelle Ausgaben

Über diese Zeitschrift

The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. In particular, it offers a tool-oriented link between academic research and industrial practice.

STTT publishes accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques. It channels comments, queries, and feedback on tools and papers to its Online Forum, publishing highlights electronically. It enables even non-experts to experiment with the integrated tools via the Electronic Tool Integration (ETI) platform. STTT addresses a heterogeneous audience, emphasizing clear, jargon-free exposition.

STTT focuses on three major technical themes: construction and analysis issues; practicality issues; and generic tool issues.

Weitere Informationen

Premium Partner