- Sini Chen, Ran Li, Huibiao Zhu. Formalization and Verification of Enhanced Group Communication CoAP. International Journal of Software Engineering and Knowledge Engineering, 34(2):301-330, February 2024.
- Shumei Wu, Zexing Chang, Zhanwen Zhang, Zheng Li 0002, Yong Liu 0030. DTester: Diversity-Driven Test Case Generation for Web Applications. International Journal of Software Engineering and Knowledge Engineering, 34(2):357-390, February 2024.
- Young Min Baek, Esther Cho, Donghwan Shin 0001, Doo-Hwan Bae. An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension. International Journal of Software Engineering and Knowledge Engineering, 34(1):91-162, January 2024.
- Pieter Bonte, Sander Vanden Hautte, Filip De Turck, Sofie Van Hoecke, Femke Ongenae. Benchmarking Whole Knowledge Graph Embedding Techniques. International Journal of Software Engineering and Knowledge Engineering, 34(1):163-184, January 2024.
- Zhen Li, Zining Cao, Fujun Wang, Chao Xing. A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra. International Journal of Software Engineering and Knowledge Engineering, 34(1):49-89, January 2024.
- Trinh Le-Khanh, Hoang Gia Nguyen, Simon Bliudze, Philippe Merle. Towards Exogenous Coordination of Concurrent Cloud Applications. International Journal of Software Engineering and Knowledge Engineering, 34(1):1-25, January 2024.
- Hao Chen, Shengyang Zhou, Chen Chen, Zheng Dai, Bixin Li. A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively. International Journal of Software Engineering and Knowledge Engineering, 34(2):239-271, February 2024.
- Xiaowei Zhang, Lin Chen 0015, Weiqin Zou, Yulu Cao, Hao Ren, Zhi Wang, Yanhui Li, Yuming Zhou. ICG: A Machine Learning Benchmark Dataset and Baselines for Inline Code Comments Generation Task. International Journal of Software Engineering and Knowledge Engineering, 34(2):331-356, February 2024.
- Fevzi Belli, Tugkan Tuglular, Ekincan Ufuktepe. Unifying Behavioral and Feature Modeling for Testing of Software Product Lines. International Journal of Software Engineering and Knowledge Engineering, 34(2):203-238, February 2024.
- Alejandro Miguel Güemes Esperón, Francisco Maciá Pérez, José Vicente Berná-Martínez, Martha Dunia Delgado Dapena, Iren Lorenzo-Fonseca. Specifying Requirements for Modern Software Development: A Test-Oriented Methodology. International Journal of Software Engineering and Knowledge Engineering, 34(1):27-48, January 2024.