- Mathieu Acher, Gilles Perrouin, Maxime Cordy. BURST: Benchmarking uniform random sampling techniques. Science of Computer Programming, 226:102914, March 2023.
- Min Zhang 0002, Kazuhiro Ogata 0001. Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021). Science of Computer Programming, 225:102912, 2023.
- Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens 0001, Muhammad Osama, Anton Wijs. Innermost many-sorted term rewriting on GPUs. Science of Computer Programming, 225:102910, 2023.
- Bo Yang, Haoran Guo, Huai Liu. Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies. Science of Computer Programming, 227:102943, April 2023.
- Eduard Kamburjan, Marco Scaletta, Nils Rollshausen. Deductive verification of active objects with Crowbar. Science of Computer Programming, 226:102928, March 2023.
- Xin Zhao, Jeff Gray 0001. Towards a metrics suite for the complexity analysis of LabVIEW systems models. Science of Computer Programming, 227:102931, April 2023.
- Giorgio Audrito, Omar Inverso, Hugo Torres Vieira. Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Science of Computer Programming, 225:102899, 2023.
- Sean Kauffman. Log analysis and system monitoring with nfer. Science of Computer Programming, 225:102909, 2023.
- Yogita Khatri, Sandeep Kumar Singh 0001. An effective software cross-project fault prediction model for quality improvement. Science of Computer Programming, 226:102918, March 2023.
- Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun. Cost analysis for a resource sensitive workflow modelling language. Science of Computer Programming, 225:102896, 2023.