Skip to main content
main-content
Top

International Journal on Software Tools for Technology Transfer OnlineFirst articles

09-08-2019 | FASE 2018

family-based model checking using variability abstractions and modal transition systems

Variational systems can produce a (potentially huge) number of related systems, known as products or variants, by using features (configuration options) to mark the variable functionality. In many of the application domains, their rigorous …

06-08-2019 | SPIN 2018

Joint forces for memory safety checking revisited

We present an improved version of the memory safety verification approach implemented in Symbiotic 5, the winner of the MemSafety category at the Competition on Software Verification (SV-COMP) 2018. The approach can verify programs for standard …

24-07-2019 | Regular Paper

Detecting multiphase linear ranking functions for single-path linear-constraint loops

Single-path linear-constraint loops are important since many analyses in different fields can be reduced to termination proof synthesis for such loops. In 2017, Ben-Amram and Genaim provided a complete polynomial-time solution to the problem of …

09-07-2019 | ABZ 2018

The ABZ-2018 case study with Event-B

This paper presents a solution to the ABZ-2018 case study.

14-06-2019 | Regular Paper

Variable order metrics for decision diagrams in system verification

Decision diagrams (DDs) are widely used in system verification to compute and store the state space of finite discrete events dynamic systems (DEDSs). DDs are organized into levels, and it is well known that the size of a DD encoding a given set …

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