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

   • Elahe Habibi
   • Seyed-Hasan Mirian-Hosseinabadi

   General 03 March 2022 Pages: 511 - 527

   

2. Learning of behavioural models and dependency graphs for communicating systems with CkTailv2

   • Sebastien Salva
   • Elliott Blot

   General 15 March 2022 Pages: 529 - 548

   

3. The Log Skeleton Visualizer in ProM 6.9

   • H. M. W. Verbeek

   Competitions and Challenges Open access 17 May 2021 Pages: 549 - 561

   

4. DisCoveR: accurate and efficient discovery of declarative process models

   • Christoffer Olling Back
   • Tijs Slaats
   • Morten Marquard

   Competitions and Challenges 28 June 2021 Pages: 563 - 587

   

5. The probabilistic model checker Storm

   • Christian Hensel
   • Sebastian Junges
   • Matthias Volk

   Competitions and Challenges Open access 06 July 2021 Pages: 589 - 610

   

6. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017

   • Axel Legay
   • Tiziana Margaria

   General 12 July 2022 Pages: 611 - 612

7. Approximate verification of concurrent systems using token structures and invariants

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

   General 07 April 2022 Pages: 613 - 633

   

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

   • Javier Esparza
   • Jan Křetínský
   • Salomon Sickert

   General Open access 23 July 2022 Pages: 635 - 659

   

9. Correction to: Reliable benchmarking: requirements and solutions

   • Dirk Beyer
   • Stefan Löwe
   • Philipp Wendler

   Correction 21 February 2022 Pages: 661 - 661