Skip to main content


International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer OnlineFirst articles

29-09-2021 | Explanation Paradigms Leveraging Algebraic Intuition Open Access

Algebraic aggregation of random forests: towards explainability and rapid evaluation

Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise the outcome of their predictions. However, this comes at a cost: it is increasingly difficult to understand why a Random Forest made …

30-08-2021 | General

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking

Threshold automata are a formalism introduced for modeling, verification, and synthesis of fault-tolerant distributed algorithms for asynchronous systems, that is, in interleaving semantics. Owing to well-known limitations of what can be achieved …

16-08-2021 | General Open Access

Extending a brainiac prover to lambda-free higher-order logic

Decades of work have gone into developing efficient proof calculi, data structures, algorithms, and heuristics for first-order automatic theorem proving. Higher-order provers lag behind in terms of efficiency. Instead of developing a new …

07-08-2021 | General

Extended abstract dependency graphs

Dependency graphs, invented by Liu and Smolka in 1998, are oriented graphs with hyperedges that represent dependencies among the values of the vertices. Numerous model checking problems are reducible to a computation of the minimum fixed-point …

05-08-2021 | General Open Access

Using linear algebra in decomposition of Farkas interpolants

The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable …

Current Publications

About this journal

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.

Additional information

Premium Partner

    Image Credits