Zhu et al. present a method using a fine-tuned BERT model to detect duplicate vulnerability records across databases (CVE, OSV, etc.). It outperforms other methods, generalizes well to unseen data, and enhances database maintenance. authors.elsevier.com/a/1lOu7c7X5EoC6

Liu et al. introduce an optimized Farkas' Lemma-based invariant generation method using divide-and-conquer and pruning to reduce CNF-to-DNF conversion overhead. It achieved a 9.27x speedup over existing methods with the same accuracy on a custom dataset. authors.elsevier.com/a/1lRvnc7X5EoCj

Dai et al. introduce IMOACT, a framework that uses intrathread method orders to generate effective concurrency tests adaptively. Experiments show it improves bug detection by 65% and runs 2.43× faster than existing methods. doi.org/10.1016/j.scic…

Zili et al. introduce WEST, an interactive visualization tool to help practitioners validate Mission-time Linear Temporal Logic (MLTL). The evaluation includes 5 validation methods and scalability tests with 3 suites of randomly generated MLTL formulas. authors.elsevier.com/a/1lSM5c7X5EoDI

Zhao and Chen introduce Wolfs, a communication-centric programming framework for Distributed Computing Continuum Systems using hierarchical models built from basic programming constructs. Its capabilities are demonstrated through two case studies. authors.elsevier.com/a/1lWatc7X5EoDU

Ahmadi introduces a typed, index-free framework for linear algebra and tensor calculus using semiadditive 2-categories, where tensors are modeled as 1- and 2-morphisms. The framework is assessed through explicit operations within the 2-category of 2Vec. doi.org/10.1016/j.scic…

Llanez et al. integrate four software design patterns into the Cognitive-Affective (COGAF) model to streamline the development of Serious Games. A case study shows improved code organization and efficiency without compromising training effectiveness. sciencedirect.com/science/articl…

Boukham et al. present a retrospective case study on using the Spoofax language workbench at Oracle to develop DSLs for large-scale graph analytics. The evaluation examines how Spoofax met industrial needs over 10 years in real-world use. authors.elsevier.com/a/1lZTec7X5EoFH

Rabbiun et al. introduce an exact schedulability test for Adaptive Mixed-Criticality systems with Weakly-Hard constraints using a generalized (m,k)-firm model. The evaluation shows an 18% schedulability improvement over the traditional skip-over model. authors.elsevier.com/a/1lbEtc7X5EoFy

Suwa and Igarashi introduce MetaFM, a module system enabling cross-stage type abstraction in multi-stage programming with advanced module features. It is evaluated through two formal semantics and a real-world implementation showing type safety. authors.elsevier.com/a/1lbtuc7X5EoFU

Ding et al. introduce a Metric Attention Module (MAM) that boosts software defect prediction by mining correlations in features and modules. It was evaluated on several datasets in within- and cross-project settings, showing improvements over baselines. doi.org/10.1016/j.scic…

Cimini and Montas extend a proof language to support type soundness verification for functional languages with subtyping. It evaluates this by generating Abella proofs that machine-check type soundness and subtyping equivalence with minimal lemmas. authors.elsevier.com/a/1ldYyc7X5EoFg

Gómez Llanez et al. employ four design patterns in a Cognitive-Affective model to simplify serious game development. Evaluation through case studies, usability tests, and statistical analysis showed less development times w/o affecting training quality. authors.elsevier.com/a/1ldzSc7X5EoFI

Gholami et al. introduce a Case-Based Reasoning method using Repertory Grid Technique features to help software architects select patterns that meet specific quality requirements. The method achieved 83% accuracy in predicting the most suitable pattern. authors.elsevier.com/a/1lfpQc7X5EoG8

López-Martín tested ML models to predict software design effort, addressing the lack of models specific to this SDLC phase. The best models were Support Vector Regression and Multi-layer perceptron NN on a dataset of seven public software projects. authors.elsevier.com/a/1lgxIc7X5EoGW

Liu et al. present ACInv, which combines static analysis and LLMs to generate loop invariants for complex programs. It solves 21% more cases than AutoSpec while matching its performance on numerical programs without data structures. authors.elsevier.com/a/1liDhc7X5EoGj

Salimi et al. introduce a profit-aware, adaptive scheduling algorithm for heterogeneous multi-server CPS to meet deadlines and maximize system profit. Simulations show that it outperforms baseline methods in response time, profit, and deadline adherence. authors.elsevier.com/a/1lnm2c7X5EoHH

Wijs discusses the SLCO domain-specific language and draws connections between the various research results. It presents an overview of various research topics and results demonstrating the framework’s application in component-based software development. doi.org/10.1016/j.scic…

Duong et al. introduce an interactive dashboard for peer code review in a programming course. It was evaluated over a 17-week experiment, comparing dashboard users to a control group, showing improved engagement, performance, and instructor monitoring. authors.elsevier.com/a/1lv7kc7X5EoHx

Tsakalidis and Vergidis surveyed 64 business process redesign (BPR) methodologies, assessing them on systematic design and generalizability. They propose the BPR Application Framework as a clearer, more actionable path for practitioners and researchers. doi.org/10.1016/j.scic…