Skip to main content

International Journal on Software Tools for Technology Transfer OnlineFirst articles

11.09.2019 | FASE 2018 Open Access

Diversity of graph models and graph generators in mutation testing

When custom modeling tools are used for designing complex safety-critical systems (e.g., critical cyber-physical systems), the tools themselves need to be validated by systematic testing to prevent tool-specific bugs reaching the system. Testing …

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.

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