Skip to main content

International Journal on Software Tools for Technology Transfer

Issue 4/2022

Content (9 Articles)


Generating test as a web service (TaaWS) through a method-based attribute grammar

Elahe Habibi, Seyed-Hasan Mirian-Hosseinabadi

Open Access Competitions and Challenges

The Log Skeleton Visualizer in ProM 6.9

H. M. W. Verbeek

Competitions and Challenges

DisCoveR: accurate and efficient discovery of declarative process models

Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard

Open Access Competitions and Challenges

The probabilistic model checker Storm

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk


Approximate verification of concurrent systems using token structures and invariants

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Open Access General

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert


Correction to: Reliable benchmarking: requirements and solutions

Dirk Beyer, Stefan Löwe, Philipp Wendler

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner