- Nacha Chondamrongkul, Jing Sun 0002, Ian Warren. Formal security analysis for software architecture design: An expressive framework to emerging architectural styles. Science of Computer Programming, 206:102631, 2021.
- Asad Ali 0006, Carmine Gravino. Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study. Science of Computer Programming, 205:102621, 2021.
- Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst. Hubs for VirtuosoNext: Online verification of real-time coordinators. Science of Computer Programming, 203:102566, 2021.
- Meriem Ouederni. Compatibility checking for asynchronously communicating software. Science of Computer Programming, 205:102569, 2021.
- John P. Gallagher, Martin Sulzmann. Preface. Science of Computer Programming, 202:102577, 2021.
- Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan 0009, Jian Zhang 0001. Efficient testing of GUI applications by event sequence reduction. Science of Computer Programming, 201:102522, 2021.
- Sebastijan Kaplar, Miroslav Zaric, Stéphane Ducasse. NewWave: Workflow engine. Science of Computer Programming, 203:102581, 2021.
- Rocco De Nicola, Tan Duong, Michele Loreti. AbC calculus. Science of Computer Programming, 202:102567, 2021.
- Omar Inverso, Hugo Torres Vieira. Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019. Science of Computer Programming, 204:102592, 2021.
- Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault. Probabilistic model checking for human activity recognition in medical serious games. Science of Computer Programming, 206:102629, 2021.