Software Engineering Commons^™

Specgen: Automated Generation Of Formal Program Specifications Via Large Language Models, Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu

Research Collection School Of Computing and Information Systems

In the software development process, formal program specifications play a crucial role in various stages, including requirement analysis, software testing, and verification. However, manually crafting formal program specifications is rather difficult, making the job time-consuming and labor-intensive. Moreover, it is even more challenging to write specifications that correctly and comprehensively describe the semantics of complex programs. To reduce the burden on software developers, automated specification generation methods have emerged. However, existing methods usually rely on predefined templates or grammar, making them struggle to accurately describe the behavior and functionality of complex real-world programs. To tackle this challenge, we introduce SpecGen, …

Building Bridges Across Papua New Guinea’S Digital Divide In Growing The Ict Industry, Marc Cheong, Sankwi Abuzo, Hideaki Hata, Priscilla Kevin, Winifred Kula, Benson Mirou, Christoph Treude, Dong Wang, Raula Gaikovina Kula

Research Collection School Of Computing and Information Systems

Papua New Guinea (PNG) is an emerging tech society with an opportunity to overcome geographic and social boundaries, in order to engage with the global market. However, the current tech landscape, dominated by Big Tech in Silicon Valley and other multinational companies in the Global North, tends to overlook the requirements of emerging economies such as PNG. This is becoming more obvious as issues such as algorithmic bias (in tech product deployments) and the digital divide (as in the case of non-affordable commercial software) are affecting PNG users. The Open Source Software (OSS) movement, based on extant research, is seen …

Flexfl: Flexible And Effective Fault Localization With Open-Source Large Language Models, Chuyang Xu, Zhongxin Liu, Xiaoxue Ren, Gehao Zhang, Ming Liang, David Lo

Research Collection School Of Computing and Information Systems

Fault localization (FL) targets identifying bug locations within a software system, which can enhance debugging efficiency and improve software quality. Due to the impressive code comprehension ability of Large Language Models (LLMs), a few studies have proposed to leverage LLMs to locate bugs, i.e., LLM-based FL, and demonstrated promising performance. However, first, these methods are limited in flexibility. They rely on bug-triggering test cases to perform FL and cannot make use of other available bug-related information, e.g., bug reports. Second, they are built upon proprietary LLMs, which are, although powerful, confronted with risks in data privacy. To address these limitations, …

Development Of Fuzzy Ontology For Explainable Artificial Intelligence For Decision-Making In Fuzzy Environment, Pavel Kosov

Chemical Technology, Control and Management

In modern artificial intelligence systems, there is an acute need to understand the decision-making logic of "black box" algorithms. Our research proposes an innovative method for increasing the transparency of such systems through the formalization of fuzzy explanatory mechanisms. We have developed an extension of existing ontological approaches by introducing the concept of fuzziness into the structure of explanatory properties, which allows overcoming the fundamental limitations of traditional XAI methods. The proposed formalization is based on the theory of collective mental models and principles of fuzzy logic, providing a more accurate reflection of uncertainty and subjectivity in expert knowledge. Our …

Cascading Effects: Analyzing Project Failure Impact In The Maven Central Ecosystem, Mina Shehata

SPARK Symposium Presentations

Abstract—This study examines failure propagation patterns within the Maven Central ecosystem, a critical software de- pendency repository, through comprehensive analysis of dependency networks using the Goblin framework. Our dual-sampling methodology, investigating both top dependencies and random libraries, revealed two distinct failure propagation patterns that pose significant risks to ecosystem stability. Core infrastructure failures, particularly evident in cases like the AWS SDK family with 429,800 total dependencies, create immediate and widespread disruption, affecting an average of 20,402 dependent projects and propagating through dependency chains averaging 90.80 levels deep.

Our analysis of peripheral projects reveals their significant cascading effects, with higher average …

Interviewedge: A Smart Technical Interview Simulator, Salavuddin Shaik, Ziad Al-Sharif

Celebration of Scholarship

Traditional interview preparation lacks real-time feedback, adaptability, and interactive assessments, leaving candidates unprepared for highstakes technical interviews. InterviewEdge is a next-generation technical interview simulation platform that combines dynamic coding challenges, AI-powered evaluation, and real-time speech analysis to refine problemsolving and communication skills—key aspects of modern hiring assessments. InterviewEdge is built using Next.js, Node.js, and MongoDB, integrating AI-driven evaluation models to provide instant, structured feedback on coding correctness, efficiency, and structure. Beyond technical assessments, the platform also analyzes behavioral responses via speech-to-text processing, evaluating clarity, articulation, and storytelling using industry-aligned best practices. Unlike conventional platforms, InterviewEdge gamifies the learning experience through …

Simplifying 3d Printing Using Natural Language Processing, Jared E. Rosenberger

Undergraduate Theses

3D printing is a crucial technology with many applications in different fields. To be able to use this technology to its full extent, expertise in computer aided design (CAD) technology and 3D modeling is required. Many people interested in 3D printing do not have this expertise and thus cannot build custom models, and are consequently forced to buy them instead. Natural language processing (NLP) is one tool that can vastly simplify 3D modeling for those lacking CAD experience. Using NLP, someone can simply dictate what they want to be able to print, and a computer can then build a 3D …

Gamescope, Jake Rankin, Luis Garza, Brain Lujan, Mauricio Rebaza Figueroa

Posters - 2025

Video games have grown exponentially since their debut in the late 20th century. Despite the widespread digitalization and advancements within the gaming community marked by a transition from physical discs to digital downloads and many more major improvements, the lack of an efficient, multipurpose application for reviews remains prevalent. When designing GameScope, we wanted to tackle the key problem of the absence of a multi-platform gaming review system. Gamers currently lack a popular platform to easily find game reviews and get personalized recommendations. Our aim is to create a space where gamers can share their experiences and explore new games …

Mente -Mental Health Tracking App, Vu Han

Posters - 2025

Mental health plays a crucial role in overall well-being, yet many digital tools in this space are either overly complex or lack usercentered design. Mente is a streamlined, web-based application created to support daily mental health engagement through simplicity and ease of use.

•Purpose: To provide a minimal, intuitive platform for users to reflect on their emotional well-being and develop healthier habits over time.

•Core Features:

• Mood tracking with visual trends

• Journaling for personal reflection

• Goal setting and progress tracking

• Health assessment for self-awareness

• Analytics for self-reflection •Design Focus: A clean, distraction-free interface that emphasizes …

Holdfast War Archives, Albert Mendez

Posters - 2025

Holdfast War Archives is a full-stack website designed for the competitive community of the 19th-century multiplayer roleplaying game, Holdfast Nations at War. This project caters to the North American (NA) melee competitive scene, offering tools to enhance player engagement, maintain records, track performance, and facilitate competitive matchmaking.

Code Of Faith: Programming Spirituality In The Digital Age, Caleb Martin

Senior Honors Theses

With the increasing pervasiveness of technology in our daily lives, it is critical to consider the potential effects on an individual's religious practices and beliefs from software applications developed within a religious framework. This thesis delves into the relationship between software development and religious experiences, examining the manner in which the creation, operation, and application of religious technology can mold and impact an individual's spiritual development. This thesis aims to inform the implementation of technologies with a nonsecular application, ensuring that they are developed with a deep respect for the nuances of religious experience. The findings of this study will …

The Use Of Call Graphs And Deep Learning To Improve Software Testing, Ziad A. Al-Sharif, Hemanth G. Chintala, Safwan Omari

Engineering, Computing and Mathematical Sciences Faculty Conferences

Software testing is a critical part of software development, it is essential for preventing failures and enhancing software quality attributes. However, the testing process can be costly and time-consuming, often involving a large number of test cases. Over time, the accumulation of redundant and overlapping test cases can complicate and lengthen the testing time. To address these challenges, this paper utilizes graph similarity and deep learning techniques to optimize test suites. It uses call graphs from test cases to identify redundant and similar test cases. A machine learning model is used to calculate and predict the similarity scores between these …

Prioritizing Speech Test Cases, Zhou Yang, Jieke Shi, Muhammad Hilmi Asyrofi, Bowen Xu, Xin Zhou, Donggyun Han, David Lo

Research Collection School Of Computing and Information Systems

As Automated Speech Recognition (ASR) systems gain widespread acceptance, there is a pressing need to rigorously test and enhance their performance. Nonetheless, the process of collecting and executing speech test cases is typically both costly and time-consuming. This presents a compelling case for the strategic prioritization of speech test cases, which consist of a piece of audio and the corresponding reference text. The central question we address is: In what sequence should speech test cases be collected and executed to identify the maximum number of errors at the earliest stage? In this study, we introduce PRiOritizing sPeecH tEsT …

A Study Of Preconditions And Postconditions As Design Constraints For Llm Code Generation, Luke Newcomb

Doctoral Dissertations and Master's Theses

Large Language Models (LLMs) have significantly advanced automated code generation, but current methods predominantly rely on natural language descriptions. This approach encounters challenges when handling complex, class-level software generation tasks due to inherent ambiguity and under-specification. Few studies have investigated how more formal software engineering constraints, such as explicit preconditions and postconditions, influence class-level generation tasks. This work addresses this gap through a structured evaluation of six state-of-the-art LLMs generating software implementations from systematically designed class-level specifications. Results demonstrate that incorporating explicit design constraints significantly boosts initial generation accuracy (measured via the pass@k metric), particularly in Python but also in …

Advancing Devsecops In Smes: Challenges And Best Practices For Secure Ci/Cd Pipelines, Jayaprakashreddy Cheenepalli, John Hastings, Khandaker Mamun Ahmed, Chad Fenner

Research & Publications

This study evaluates the adoption of DevSecOps among small and medium-sized enterprises (SMEs), identifying key challenges, best practices, and future trends. Through a mixed methods approach backed by the Technology Acceptance Model (TAM) and Diffusion of Innovations (DOI) theory, we analyzed survey data from 405 SME professionals, revealing that while 68% have implemented DevSecOps, adoption is hindered by technical complexity (41%), resource constraints (35%), and cultural resistance (38%). Despite strong leadership prioritization of security (73%), automation gaps persist, with only 12% of organizations conducting security scans per commit. Our findings highlight a growing integration of security tools, particularly API security …

Towards Testing, Detecting, And Debloating Insecure Components In Android Applications, Zicheng Zhang

Dissertations and Theses Collection (Open Access)

The Android ecosystem’s openness and extensibility have fueled its dominance in the mobile market, but they also broaden the attack surface of applications by introducing insecure or redundant methods. Vulnerabilities arise from various sources, including insecure API usage, code cloning, and feature bloat, especially from unneeded components introduced during development. To address these challenges, this dissertation presents a systematic, three-phase pipeline that transitions seamlessly from vulnerability discovery to clone-based detection and, ultimately, to dynamic mitigation through runtime debloating. Each phase builds upon the insights and limitations of the previous, collectively forming a practical approach to improving Android app security.

In …

Applying Software Engineering Black-Box Methods For Testing Machine Learning Models, Timothy Elvira

Doctoral Dissertations and Master's Theses

This dissertation proposes researching an approach to incorporate and align Software black-box testing methods into Machine Learning (ML) applications, specifically in the context of computer vision models. Typically, testing methods within Software Engineering (SE) encompass a range of test types that assess levels of a software system, such as Unit, Integration, Functional, and System testing [1]. The testing spectrum offers two perspectives on the system: black-box, where the system’s code is hidden, and white-box, where the system's code is exposed for testing. Software Quality pairs testing with requirements, in a many-to-one relationship, to ensure proper validation of the software system. …

Ai And Prompt Engineering For Library Discovery Services, James Day

Publications

We have seen the rise of generative artificial intelligence in the form of Large Language Models (LLMs) to provide answers to users’ queries. Services such as ChatGPT, Copilot, and Gemini have quickly become accepted and adopted in the research process. Now library vendors are adding artificial intelligence (AI) to their discovery services to allow for natural language queries to produce generative results. However, the AI model used for discovery services differs from normal LLMs in a significant way that has several positive benefits, but it affects how prompts are written. Library discovery services use a model called Retrieval- Augmented Generation …

Ada-Gen: Iterative And Incremental Generation Of Full-Stack Apps For Learning Agile/Devops Software Development Practices, Nguyen Binh Duong Ta

Research Collection School Of Computing and Information Systems

To learn Agile/DevOps practices effectively, students need to apply them in an actual software development project. This is challenging if students are mostly from non-computing backgrounds and they do not have time in the curriculum to learn programming and related tools. Therefore, it is important to help students who do not possess programming foundations to develop fully functional software during the process of learning Agile/DevOps concepts. We noted that existing low-code/no-code app development platforms have not been designed to teach Agile/DevOps practices. On the other hand, recent AI-based tools for code generation such as GitHub Copilot have been built mainly …

Dps: Design Pattern Summarisation Using Code Features, Najam Nazar, Sameer Sikka, Christoph Treude

Research Collection School Of Computing and Information Systems

Automatic summarisation has been used efficiently in recent years to condense texts, conversations, audio, code, and various other artefacts. A range of methods, from simple template-based summaries to complex machine learning techniques -- and more recently, large language models -- have been employed to generate these summaries. Summarising software design patterns is important because it helps developers quickly understand and reuse complex design concepts, thereby improving software maintainability and development efficiency. However, the generation of summaries for software design patterns has not yet been explored.Our approach utilises code features and JavaParser to parse the code and create a JSON representation. …