A novel application of function hooking is presented, allowing software that runs on Windows and uses MFC, wxWidgets, or the Win32 API to have its user interfaces translated without modification of the original application or access to source code. A...
The European Digital Identity Wallet (EUDI Wallet) is reshaping how citizens across Europe access, manage, and share verifiable credentials. Peer-reviewed work explains wallet protocols, trust frameworks, and adoption barriers, but it rarely links th...
God agents, i.e., agents that accumulate excessive responsibilities, have become an increasingly common problem in modern multi-agent systems and agent frameworks. As business logic grows, interaction scenarios become more complex, and agents are exp...
In recent years, the advent of large language models (LLMs) has significantly advanced automatic program repair (APR). However, due to a lack of domain-specific software engineering knowledge, base LLMs are prone to hallucinations during the repair p...
The internal reuse of software components owned by organizational units in different countries constitutes an implicit form of licensing that may be taxable under international regulations, making tax authorities an often overlooked stakeholder in so...
In this paper, a semi-deterministic approach is introduced for evaluating the answer-and-reasoning reliability of large language models using propositional logic and Bernoulli random variables. We focus on an operational class of hallucination define...
Vibe coding uses repeated natural-language prompts and minimal code review in large language model (LLM)-based development. Development may end before sufficient client–LLM context co-construction occurs. We propose CO-constructed SPECification...
Reproducible packet-level wireless experimentation requires more than access to a testbed or a traffic generator: the configuration, packet evidence, metric semantics, software state, and provenance of an execution must remain connected. Existing phy...
Requirements prioritization methods increasingly consider multiple quality dimensions simultaneously, but the way these dimensions are aggregated determines what information reaches decision-makers: methods that combine dimensions into a single score...
The introduction of AI coding assistants has significantly increased developer productivity by accelerating code generation at the developer level. However, this acceleration has shifted organizational bottlenecks downstream toward provisioning, secu...
In a software development team, people work together in different roles to carry out the activities of the software development process. Human factors have always been critical in managing software teams. However, they have always been overshadowed b...
Software-intensive organizations increasingly face the challenge of integrating ethical considerations into routine work practices while maintaining process quality and organizational performance. This study develops the Quality Value Driver (QVD) fr...
Parallel performance depends not only on programming language and runtime design, but also on how the dominant execution bottleneck changes as parallelism increases. We present a controlled cross-language study of Rust, Julia, Haskell, and Python usi...
We present SimDSL, a domain-specific language (DSL) for executing large-scale simulations on the GPU using an Entity Component System (ECS) architecture. Systems written in SimDSL are analyzed, lowered into an intermediate representation, and compile...
Background: Researchers dealing with software engineering often express some concern about the lack of a core theory for this discipline. In fact, even the most basic concepts of software engineering—like the organization of software developmen...
In cross-project defect prediction (CPDP), divergence in feature distribution between the source and target often fails when predicting defects across unrelated projects. Such a mismatch is typical rather than exceptional in real deployment scenarios...
The incorporation of human values into software engineering processes is increasingly recognised as crucial, yet there is still a lack of practical methods to ensure their inclusion. A key challenge in this area is to identify a representative set of...
Domain-Specific Languages (DSLs) are essential in software engineering for safely expressing complex domain logic. However, Large Language Models (LLMs) struggle to generate syntactically and semantically correct code for niche DSLs due to sparse rep...
Microservice-based systems evolve continuously through API changes, service splits and merges, dependency churn, and deployment-topology drift driven by DevOps practices. This rapid evolution erodes the assumptions encoded in formal models, test suit...
Autonomous Cyber–Physical Systems (CPS) must jointly satisfy energy efficiency, accuracy, and real-time constraints, which are typically treated separately in existing methods. This paper proposes a verifiable service-oriented CPS framework for...
Vision–Language Models (VLMs) have emerged as powerful tools for image understanding tasks, yet their practical deployment remains hindered by significant architectural heterogeneity across model families. This paper introduces UVLM (Unified Vi...
Public sector organizations are under increasing pressure to modernize service delivery while preserving transparency, interoperability, accountability, and citizen trust. Blockchain technology offers relevant capabilities for these objectives, parti...
We present OptimSolution, an open-source, cross-platform framework for the systematic benchmarking and analysis of continuous optimisation methods, available for Windows, Linux and macOS and operable via both a command-line interface (CLI) and a Qt-b...
The rapid emergence of generative AI tools is transforming software development. Consequently, software engineering education must adapt to ensure that students not only learn traditional development methods but also understand how to use these new t...
Prompt specifications for multi-agent large language model (LLM) systems carry data contracts and integration logic across interdependent files but are rarely subjected to structured-inspection rigor. We report a single-system case study of iterative...
Web Application Programming Interfaces (Web APIs) have become fundamental components of modern software ecosystems. At the same time, they have emerged as major attack surfaces in web applications and distributed services. Although many web API vulne...
Artificial Intelligence Chatbots based on Large Language Models are becoming important cornerstones in education, professional, and personal contexts. Users frequently disclose sensitive information without the necessary awareness of how their data i...
Socio-technical congruence (STC) theory posits that software development effectiveness depends on the degree to which developer coordination aligns with technical requirements. However, much existing research treats congruence as a static project att...
The increasing adoption of artificial intelligence (AI) in smart learning environments has heightened the need for systematic, reliable testing of AI-driven educational applications. Existing studies primarily rely on benchmark accuracy, manual testi...
While anonymity is often considered as a binary property that is either satisfied or not satisfied, a closer analysis shows that there are different degrees of anonymity and that an appropriate degree of anonymity must be selected depending on applic...
This paper advances a theoretical argument that generative AI is accelerating the democratization of computational thinking and, in turn, reshaping education, professional practice, and the nature of computing itself. Traditionally, computational thi...
Refactoring is essential for developing maintainable software. Using Large Language Models in software engineering is widespread, but compared to well-established domains such as code generation, reliable refactoring is still relatively underexplored...
Machine learning-based systems are increasingly deployed in high-stakes domains, such as healthcare, finance, law, and e-commerce, where their predictions directly influence critical decisions. Although these systems offer powerful data-driven suppor...
Decision-making is a central activity in agile software engineering (SE), yet research on how decisions are made and supported in agile contexts remains fragmented across models, methods, roles, and lifecycle stages. While prior studies have examined...
Large language models (LLMs) have demonstrated strong capability for code understanding and vulnerability detection. However, most existing approaches rely on static prompting and treat the model as a passive predictor, limiting adaptability under un...
Amid the wave of digital transformation and customer service automation, traditional chatbots are increasingly challenged by their inability to handle unstructured data and complex queries. This issue is particularly critical in the import trade indu...
We propose a set of design principles to guide the design of a programming language intended for general, practical use. These principles center around supporting the development of robust programs, supporting independent development, the evolution o...
We investigate interaction effects of system attributes—age and volatility—and team attributes—instability and skill-diversity—on software maintenance productivity in the context of lifecycle maintenance involving multiple ser...
Mobile Software Engineering has emerged as a distinct subfield, raising questions about the transferability of its research findings to general software engineering. This paper addresses the challenge of evaluating the generalizability of mobile-spec...
Software repositories such as Git are significant sources of metadata about software projects, containing information such as modified files, change authors, and often commentary describing the change. An emerging approach to support software change...
Current research in consent management techniques focuses on isolated aspects of data security, privacy, or auditability, but important issues like (i) dynamically integrating regulatory updates into form generation, (ii) support in content generatio...
Machine learning (ML) engineering increasingly incorporates principles from software and requirements engineering to improve development rigor; however, key non-functional requirements (NFRs) such as interpretability and explainability remain difficu...
The increasing decentralization of industrial processes in Industry 4.0 necessitates the distribution and coordination of resources such as machines, materials, expertise, and knowledge across organizations in a value chain. To facilitate effective o...
The stream pipeline idiom provides a fluent and composable way to express computations over collections. It gained widespread popularity after its introduction in .NET in 2005, later influencing many platforms, including Java in 2014 with the introdu...
Modern DevSecOps environments face a persistent tension between accelerating deployment velocity and maintaining verifiable compliance with regulatory, security, and internal governance standards. Traditional snapshot-in-time audits and fragmented co...
LambdaStore is a data-centric serverless platform that breaks the split between stateless functions and external storage in classic cloud computing platforms. By scheduling serverless invocations near data instead of pulling data to compute, LambdaSt...
Background: The implementation of Large Language Models (LLMs) in software engineering has provided new and improved approaches to code synthesis, testing, and refactoring. However, even with these new approaches, the practical efficacy of LLMs is re...
The Journal retracts the article titled, “A Differential Datalog Interpreter” [...]
Asserting program correctness is a longstanding challenge in software development that consumes lots of resources and manpower. It is often accomplished through software testing at various levels. One such level is unit testing, where the behaviour o...
Robotic systems increasingly operate in complex and distributed environments, where software deployment and orchestration pose major challenges. This paper presents a model-driven approach that automates the containerized deployment of robotic system...
