- Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir. μHML. Science of Computer Programming, 232:103031, January 2024.
- Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha 0001, Heitor A. X. Costa, Ivan Machado. An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring. Science of Computer Programming, 231:103013, January 2024.
- Iñigo Aldalur. Web Augmentation: A systematic mapping study. Science of Computer Programming, 232:103045, January 2024.
- Sean Kauffman, Martin Zimmermann 0002. The complexity of evaluating nfer. Science of Computer Programming, 231:103012, January 2024.
- José Antonio Hernández López, Javier Luis Cánovas Izquierdo, Jesús Sánchez Cuadrado. ModelSet: A labelled dataset of software models for machine learning. Science of Computer Programming, 231:103009, January 2024.
- Stefan W. Driessen, Dario Di Nucci, Damian A. Tamburri, Willem-Jan van den Heuvel. SolAR: Automated test-suite generation for solidity smart contracts. Science of Computer Programming, 232:103036, January 2024.
- Muhamed Smajevic, Syed Juned Ali, Dominik Bork. cloud - An open web-based platform to transform conceptual models into knowledge graphs. Science of Computer Programming, 231:103007, January 2024.
- Joan Giner-Miguelez, Abel Gómez 0001, Jordi Cabot. DescribeML: A dataset description tool for machine learning. Science of Computer Programming, 231:103030, January 2024.
- Erwan Mahe, Christophe Gaston, Pascale Le Gall. Denotational and operational semantics for interaction languages: Application to trace analysis. Science of Computer Programming, 232:103034, January 2024.
- Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001. Exhaustive property oriented model-based testing with symbolic finite state machines. Science of Computer Programming, 231:103005, January 2024.