Science of Computer Programming, Volume 232

Volume 232, January 2024

Regular articles

• 
  Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos:
  Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235. 103028

Special issue on Selected Software Artifacts from the Papers of DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

• 
  Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir:
  A monitoring tool for linear-time μHML. 103031

Success Stories in Model-Driven Engineering

• 
  Gwendal Daniel, Jordi Cabot:
  Applying model-driven engineering to the domain of chatbots: The Xatkit experience. 103032
• 
  Constantin Buschhaus, Arkadii Gerasimov, Jörg Christian Kirchhof, Judith Michael, Lukas Netz, Bernhard Rumpe, Sebastian Stüber:
  Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework. 103033

Special issue of the 16th international symposium on Theoretical Aspects of Software Engineering

• 
  Erwan Mahe, Christophe Gaston, Pascale Le Gall:
  Denotational and operational semantics for interaction languages: Application to trace analysis. 103034

Special issue on Functional and Logic Programming (Selected papers from FLOPS 2022)

• 
  Masahiro Masuda, Yukiyoshi Kameyama:
  Program generation meets program verification: A case study on number-theoretic transform. 103035

Regular articles

• 
  Stefan W. Driessen, Dario Di Nucci, Damian A. Tamburri, Willem-Jan van den Heuvel:
  SolAR: Automated test-suite generation for solidity smart contracts. 103036

Special issue on Tools and Demonstrations in Model-Driven Engineering

• 
  Alfa Ryano Yohannis, Dimitrios S. Kolovos, Antonio García-Domínguez:
  Exploring complex models with picto web. 103037
• 
  Francesco Basciani, Juri Di Rocco, Ludovico Iovino, Alfonso Pierantonio:
  TyphonML: Tool support for hybrid polystores. 103044

Regular articles

• 
  Iñigo Aldalur:
  Web Augmentation: A systematic mapping study. 103045

Special issue on Selected Software Artifacts from the Papers of DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

• 
  Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
  XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. 103046

Success Stories in Model-Driven Engineering

• 
  Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere:
  An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report. 103047

Regular articles

• 
  Amel Mammar, Meriem Belguidoum, Saddam Hocine Hiba:
  A formal approach for the correct deployment of cloud applications. 103048

Special issue on Tools and Demonstrations in Model-Driven Engineering

• 
  Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov:
  AnimUML: A practical tool for partial model animation and analysis. 103050

Regular articles

• 
  Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen:
  Enhancing test reuse with GUI events deduplication and adaptive semantic matching. 103052

Special issue on "Fundamental Approaches to Software Engineering (FASE 2022)"

• 
  Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer:
  Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). 103055