Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Artificial Intelligence and Robotics

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 511 - 540 of 11500

Full-Text Articles in Entire DC Network

Digital Grief Technology To Support Bereavement: A Systematic Review Of Potential Benefits And Risks, Xun Ci Soh, Adalia Yin Hui Goh, Paye Shin Koh, Andree Hartanto May 2026

Digital Grief Technology To Support Bereavement: A Systematic Review Of Potential Benefits And Risks, Xun Ci Soh, Adalia Yin Hui Goh, Paye Shin Koh, Andree Hartanto

Research Collection School of Social Sciences

Grief is a universal and inevitable experience. However, the way we support the bereaved is changing, especially in the digital era. This systematic review examines the potential benefits and risks associated with various digital grief technologies, including online grief support groups, generative AI chatbots, online memorials, online therapy interventions, virtual reality, and digitally reproduced visuals or audio of the deceased. A systematic search was conducted in seven databases, and 30 articles were included in the final review. Findings indicate that digital grief technologies offer several benefits, such as reductions in grief and depressive symptoms, enhanced social support, greater accessibility, and …


Understanding Critical Thinking In Generative Artificial Intelligence Use: Development, Validation, And Correlates Of The Critical Thinking In Ai Use Scale, Gabriel R. Lau, Wei Yan Low, Louis Tay, Ysabel Thereze Ang Guevarra, Dragon Gašević, Andree Hartanto May 2026

Understanding Critical Thinking In Generative Artificial Intelligence Use: Development, Validation, And Correlates Of The Critical Thinking In Ai Use Scale, Gabriel R. Lau, Wei Yan Low, Louis Tay, Ysabel Thereze Ang Guevarra, Dragon Gašević, Andree Hartanto

Research Collection School of Social Sciences

Generative AI tools are increasingly embedded in everyday work and learning, yet their fluency, opacity, and propensity to hallucinate mean that users must critically evaluate AI outputs rather than accept them at face value. The present research conceptualises critical thinking in AI use as a dispositional tendency to verify the source and content of AI-generated information, to understand how models work and where they fail, and to reflect on the broader implications of relying on AI. Across six studies ( N = 1341), we developed and validated the 13-item critical thinking in AI use scale and mapped its nomological network. …


Teaching Machines To Deter: Exploring Strategic Deterrence In Ai Models, Will Taylor May 2026

Teaching Machines To Deter: Exploring Strategic Deterrence In Ai Models, Will Taylor

Theses/Capstones/Creative Projects

This capstone project investigates whether deterrence can emerge as a meaningful strategy within a zero-sum stochastic game using multi-agent reinforcement learning (MARL). After outlining core concepts in game theory and deterrence, the study models a simplified deterrence environment in which two minimax-Q agents repeatedly interact under uncertainty and adversarial incentives. The agents learn from rewards shaped by escalation costs, unilateral vulnerability, and the stabilizing benefits of restraint. Results show that both agents consistently converge toward a conservative, status-quo strategy, overwhelmingly selecting the Maintain action while avoiding both escalation and restraint in most scenarios. This behavior reflects the risk-averse logic of …


Improving Online Political Discussion With Automated Bot Intervention, Bethanie E. Hackett May 2026

Improving Online Political Discussion With Automated Bot Intervention, Bethanie E. Hackett

Departmental Honors & Graduate Capstone Projects

The quality of political discussions occurring on online platforms or social media sites has been deemed quite poor. To address this issue, I investigated whether a Large Language Model (LLM) can be used to promote civil and productive political discussions by identifying and responding to unproductive dialogue. I fine-tuned an existing LLM to detect elements of problematic dialogue, namely misinformation, misrepresentation of sources, logical fallacies, bias, and toxic language, and then respond in a corrective yet non-confrontational manner. The resulting model is referred to as FroBot and was evaluated through an experiment in which a human participant was placed in …


Augmented Reality In Fashion Retail: A Walmart Unlimited Study, Chloe A. Mcpherson May 2026

Augmented Reality In Fashion Retail: A Walmart Unlimited Study, Chloe A. Mcpherson

Apparel Merchandising and Product Development Undergraduate Honors Theses

As technology continues to evolve, augmented reality (AR) has become increasingly common within the retail and fashion industries. This study explored Gen Z consumers’ perceptions of immersive AR shopping experiences through Walmart Unlimited, an interactive digital shopping platform. The purpose of this research was to better understand how younger consumers respond to AR-enhanced shopping environments and whether these technologies influence attitudes toward convenience, engagement, and sustainability in retail.

A quantitative research design was used for this study. Participants completed the Walmart Unlimited shopping experience and then responded to a Qualtrics survey measuring areas such as immersion, satisfaction, ease of use, …


Using Ai For Data Loss Prevention, Camden A. Wright May 2026

Using Ai For Data Loss Prevention, Camden A. Wright

Theses/Capstones/Creative Projects

Data Loss Prevention (DLP) systems play a critical role in protecting modern systems that handle sensitive information from both accidental and malicious exposure. Traditional DLP approaches often rely on static rules and methods that can struggle to adapt to complex and evolving data patterns. This paper presents a hybrid DPL system that integrates machine learning-based message classification, rule based policy enforcement, and context-aware access control to improve both detection accuracy and decision reliability. In addition, the system introduces a second stage access control model that evaluates user context, including role of clearance level and job title to determine whether access …


Integrating Ai Into Collection Development Workflows: Prompts, Rubrics, And Responsible Use, Ivan Portillo, David Carson, Margaret Puentes May 2026

Integrating Ai Into Collection Development Workflows: Prompts, Rubrics, And Responsible Use, Ivan Portillo, David Carson, Margaret Puentes

Library Presentations, Posters, and Audiovisual Materials

AI technologies are advancing at a rapid pace and offer new opportunities for library advancement. This session highlights practical ways AI can support collection development and discusses opportunities to improve library workflows.  Attendees will also learn how AI can strengthen library resource management by optimizing decision making and use of resources.

Learning Outcomes: 

  • Attendees will learn about approaches to integrating artificial intelligence into collection development
  • Attendees will learn about artificial intelligence tools and their applicability to collections 
  • Attendees will learn about the ethical use of artificial intelligence tools 


Calibrating Human Trust In The Age Of Generative Ai: An Examination Of Ethical And Social Challenges, Abigail M. Mondido May 2026

Calibrating Human Trust In The Age Of Generative Ai: An Examination Of Ethical And Social Challenges, Abigail M. Mondido

Honors Theses

Generative AI (GenAI), a set of AI technologies with the ability to generate original, human-like outputs, is beginning to transform the way that information is distributed, composed, published, obtained, analyzed, and consumed. GenAI has seen massive adoption by internet users, businesses, and organizations in recent years despite the persistence of major ethical concerns and social implications. In particular, existing research has identified multiple critical trust-related issues associated with AI in general, including widespread mistrust and distrust, overreliance on AI, and a lack of trustworthiness of AI. There remains a need for a broader understanding of these issues as they relate …


Techno-Imagination: Elevating Creativity Through Xr And Ai, Christopher Spitzer May 2026

Techno-Imagination: Elevating Creativity Through Xr And Ai, Christopher Spitzer

Creativity and Change Leadership Graduate Student Master's Projects

Techno-Imagination: Elevating Creativity Through XR and AI explores the history of creativity and computing technology, supported by research and academic literature, and looks at the possibilities of a convergence between the two. In parallel, a brief biographical story of the author shares how a passion for creativity emerged, along with a growing interest in science and technology—specifically extended reality—which ultimately came together in the creation of this master’s project. The project also highlights how the Creative Problem Solving (CPS) process was used alongside AI bots and twenty research-based creative thinking skills in developing the business model canvas. Finally, the outcome …


From Mobilenet To Repvit: A Survey Of Edge-Optimized Computer Vision Architectures, Eli A. Bosch May 2026

From Mobilenet To Repvit: A Survey Of Edge-Optimized Computer Vision Architectures, Eli A. Bosch

Electrical Engineering and Computer Science Undergraduate Honors Theses

Edge-optimized computer vision is a constantly evolving field where the definition of efficiency has changed repeatedly. This thesis presents a literature survey of four recent Convolutional Neural Network (CNN) families, all analyzed through a consistent framework of accuracy, parameter count, and Multiply-Accumulate Operations (MACs), alongside a survey of five CNN and Vision Transformer (ViT) hybrid models to examine the direction of the field. It was found that accuracy follows a logarithmic curve with respect to parameter count, exhibiting diminishing returns as models scale. This suggests that architectural design contributes more to performance gains than parameter count alone. Theoretical efficiency metrics …


A Case Study On Using Large Language Models To Drive Convergence-Oriented Literature Discovery In Critical Infrastructure Security, Caden J. Williamson May 2026

A Case Study On Using Large Language Models To Drive Convergence-Oriented Literature Discovery In Critical Infrastructure Security, Caden J. Williamson

Electrical Engineering and Computer Science Undergraduate Honors Theses

In the world of cybersecurity, the rapid development of artificial intelligence proposes a constant challenge for researchers to defend critical infrastructure. Attacks on critical infrastructure can be catastrophic, and emerging strategies of cyber-adversaries that implement leading AI models can expose vulnerabilities in critical infrastructure much faster than previous tools. To defend against this emerging threat, the Cybersecurity Research Working Group at the University of Arkansas is aiming to develop a cross-domain and cross-discipline center of excellence. To support this effort, the group is writing a literature review on the topics of AI and critical systems security. Literature review is an …


You Can’T Spell Audit Without Ai: The Current Uses Of Artificial Intelligence In Audit, Jena Perkins May 2026

You Can’T Spell Audit Without Ai: The Current Uses Of Artificial Intelligence In Audit, Jena Perkins

Senior Honors Theses

The accounting profession continuously adapts to the innovations provided by the broader context in which it exists. Artificial intelligence (AI) is a forerunner among tools used to enhance and optimize auditing services within the accounting profession. The realm of AI offers advancements to procedures used within an audit to detect misstatements. Based on the proprietary platforms developed by Big 4 accounting firms, AI is a key component in maintaining an advanced approach towards auditing.


The Application Of Natural Language Processing Towards Auditing Of Unstructured Data: A Design Science Approach, Dennis K. Amoatey May 2026

The Application Of Natural Language Processing Towards Auditing Of Unstructured Data: A Design Science Approach, Dennis K. Amoatey

Electronic Theses and Dissertations

Financial auditors must manually review large volumes of unstructured text that may include contracts, internal policies, footnotes, and journal entry descriptions. This time-intensive process introduces risk of human error and inconsistency. Despite advances in automation, no systematic approach exists for applying Natural Language Processing (NLP) to this problem at scale. Using a design science approach, this study develops a framework that demonstrates how NLP techniques can be incorporated across key phases in the audit process, including planning, internal controls evaluation, evidence gathering, and reporting. Initial evaluation through expert feedback had a mix of responses. While some argued difficulty with data …


Evaluating Modern Neural Network Architectures For Suicide Prediction, Kyle Brown May 2026

Evaluating Modern Neural Network Architectures For Suicide Prediction, Kyle Brown

Master's Theses

Suicide remains a leading cause of death among adolescents despite more access to healthcare information than ever before. Medical professionals struggle to make accurate diagnoses and catch warning signs with the overwhelming amount of data available. Machine learning algorithms, including neural networks, have previously been employed for this task, yet it remains an understudied domain.

This research aims to evaluate the capabilities of Multi-Layer Perceptron (MLP) and a selection of its successors, ResNet and MLP with a category embedding layer, at the task of predicting suicidal ideation among high-school students. This research finds ResNet to be the most capable at …


Synthesis And Evaluation Of Long-Term History-Aware Medical Dialogue, Hebin Hu, Renke Dai, Ah-Hwee Tan, Yilin Kang May 2026

Synthesis And Evaluation Of Long-Term History-Aware Medical Dialogue, Hebin Hu, Renke Dai, Ah-Hwee Tan, Yilin Kang

Research Collection School Of Computing and Information Systems

An effective healthcare agent must be able to recall and reason over a patient’s longitudinal medical history. However, the absence of datasets with realistic long-term dialogue timelines limits systematic evaluation. Real clinical text is constrained by privacy and ethics, while existing benchmarks focus on isolated interactions, failing to capture cross-session reasoning. We introduce a framework for synthesizing high-quality, long-term medical dialogues with LLMs. Our approach entails a knowledge-guided decomposition into three stages: constructing synthetic patient profiles with diverse disease and complication trajectories, generating multiturn dialogues per encounter, and integrating them into a coherent longitudinal history dataset, MediLongChat. We establish three …


Fighting Against Recruitment Scams: Theory-Driven Supervised Learning And Empirical Analysis For Digital Fraudulent Recruitment Posting Behavior, Tom (Tianteng) Wang, David (Jingjun) Xu, Keng Siau, Zhongju (John) Zhang May 2026

Fighting Against Recruitment Scams: Theory-Driven Supervised Learning And Empirical Analysis For Digital Fraudulent Recruitment Posting Behavior, Tom (Tianteng) Wang, David (Jingjun) Xu, Keng Siau, Zhongju (John) Zhang

Research Collection School Of Computing and Information Systems

The number of recruitment postings on digital recruitment hiring platforms has increased since the COVID-19 pandemic. However, the weak surveillance and operations of these platforms, combined with the fact that most job seekers have relatively low vigilance and a strong desire for recruitment offers, enable scammers to easily deceive job seekers for their money and confidential information. In this work, we combine prevailing text mining techniques (i.e., ChatGPT with prompting engineering and supervised machine learning) with interpersonal deception theory (IDT) from social science to design an interpretable IT system to predict fraudulent recruitment postings on digital recruitment-hiring platforms. We compare …


Aircraft Fault Detection Via Weight And Bias Analysis Of A Custom First Neural Network Layer, George Harrison Chen May 2026

Aircraft Fault Detection Via Weight And Bias Analysis Of A Custom First Neural Network Layer, George Harrison Chen

Theses and Dissertations

Fault detection in aircraft is traditionally handled through redundant hardware and comparison algorithms to detect failures. Alternatives like model-based residual generation and data-driven approaches such as supervised fault classification and unsupervised anomaly detection have been explored, but they suffer from practical limitations; model-based methods require accurate system models, and data-driven methods have large constraints on the data limiting scalability and adaptability. This work presents a purely data-driven neural network architecture featuring a custom first layer designed for real-time fault detection where the weights and biases of this layer are used to detect faults. The network requires zero supervision and complements …


Adaptive Artificial Potential Field Guidance And Control For Autonomous Docking With Uncooperative And Unknown Spacecraft, Steven Holmberg May 2026

Adaptive Artificial Potential Field Guidance And Control For Autonomous Docking With Uncooperative And Unknown Spacecraft, Steven Holmberg

Theses and Dissertations

The increasing demand for on-orbit servicing (OOS), active debris removal (ADR), and space domain awareness (SDA) missions has increased the need for autonomous spacecraft rendezvous and proximity operations (RPO) with uncooperative and unknown targets. Traditional guidance and control methods are typically designed for cooperative systems with known geometry and state information. This work builds on previous research to develop and evaluate an artificial potential field (APF)-based control framework capable of autonomous operation with minimal prior target knowledge and applicability to both relatively static and tumbling spacecraft.

The proposed APF formulation incorporates established safety constructs from cooperative docking systems, including an …


Analyzing The Writing Style Of Generative Ai When Prompted With Writing Samples, Samuel Mcdowell May 2026

Analyzing The Writing Style Of Generative Ai When Prompted With Writing Samples, Samuel Mcdowell

Senior Honors Theses

Authorship attribution is an important topic in today’s world of Large Language Models (LLMs). It is the technology that helps to verify the author of a written work. This study explores whether LLMs can successfully mimic an individual’s writing style if they are given a text sample. A dataset of human-written texts was collected and used to prompt several LLMs to generate new texts that attempt to replicate the original author’s stylistic characteristics. The generated texts were then tested with modern authorship attribution models to determine whether they would be identified as being written by the original author. The results …


Datapeer: A Hybrid Interaction Model Web Application Integrating Llms For Human–Llm Collaboration In Data Analysis And Exploration, William I. Bumcum May 2026

Datapeer: A Hybrid Interaction Model Web Application Integrating Llms For Human–Llm Collaboration In Data Analysis And Exploration, William I. Bumcum

Honors Theses

DataPeer is a web application that combines open-ended high agency (OHA) and structured low-agency (SLA) interaction paradigms to support human-LLM collaboration in exploratory data analysis. DataPeer integrates a large language model (LLM) with a React frontend and FastAPI backend, allowing both qualitative and quantitative analysis of user-uploaded CSV datasets through a chat-based interface. Users can attach datasets and provide natural language queries, while the LLM provides data analysis to the user. This thesis investigates the integration of LLMs into data analysis workflows and addresses gaps in interaction design and user agency in LLM-driven data tools by offering a responsive interface …


Sql Query Optimization - Human Vs. Chatgpt, Hailey Dennis May 2026

Sql Query Optimization - Human Vs. Chatgpt, Hailey Dennis

All Graduate Reports and Creative Projects, Fall 2023 to Present

Large Language Models (LLMs) such as ChatGPT have become ubiquitous tools for working professionals in the software industry. Many engineers are finding new ways to increase productivity by offloading tasks onto LLMs, while others are finding it difficult to trust code produced artificially, even after review. Taking a look at both perspectives, this study aims to compare a human’s ability to optimize SQL queries to that of an LLM and assess the experience using both methods.

Manual query optimization is a tedious task that relies heavily on statistics, heuristics, and good intuition. The SQL developer must search for the optimal …


Penalty Approach To Constrained Optimization Problems In Water Reservoir And Energy Generation Management, Edwin Horacio Trejo May 2026

Penalty Approach To Constrained Optimization Problems In Water Reservoir And Energy Generation Management, Edwin Horacio Trejo

Open Access Theses & Dissertations

The growing demand for resilient and sustainable energy generation has driven interest in Hybrid Floating Photovoltaic-Hydropower (HFPVH) systems. Operating these systems effectively requires making water release decisions that satisfy physical and regulatory constraints while maximizing energy production. Prior work by Vega (2024) developed a Dynamic Outlier Filter Long Short-Term Memory (DOF-LSTM) architecture for forecasting reservoir release patterns. That predictive work is valid and addresses an important component of the HFPVH decision pipeline. However, the constraint system in that work operates externally to the learning process, and the behavior of penalty-based constraint enforcement had not been studied independently in this context. …


Three Essays On Workplace Ethics And Ai: Conceptualizing, Scale Development, And Validation Of Self-Value Actualization, And Ai-Enabled High-Performance Work Systems, Mansura Nusrat May 2026

Three Essays On Workplace Ethics And Ai: Conceptualizing, Scale Development, And Validation Of Self-Value Actualization, And Ai-Enabled High-Performance Work Systems, Mansura Nusrat

Open Access Theses & Dissertations

This dissertation advances understanding of workplace ethics and responsible AI integration across three interconnected essays unified by social cognitive theory. My first essay introduces self-value actualization (SVA), a novel construct defined as the dynamic, integrated psychological process through which individuals continually strive to align and fulfill their core moral values through observable professional behavior. Drawing on social cognitive theory and emotional intelligence theory, I conceptualize SVA as a higher-order self-regulatory orientation comprising three mutually reinforcing processes: value congruence, moral reflection, and adaptive morality. I developed and validated a 9-item SVA scale across four studies using expert panels, exploratory factor analysis, …


Bayesian Deep Learning For Photovoltaic Power Forecasting: A Probabilistic Framework For Uncertainty Quantification And Grid Reliability Optimization, Pablo Abraham Bustamante May 2026

Bayesian Deep Learning For Photovoltaic Power Forecasting: A Probabilistic Framework For Uncertainty Quantification And Grid Reliability Optimization, Pablo Abraham Bustamante

Open Access Theses & Dissertations

The global energy landscape is undergoing a profound transformation, driven by the urgent need to decarbonize power systems, enhance energy security, and meet growing electricity demands. Solar photovoltaic (PV) power has emerged as a critical component of future energy infrastructure due to its abundance, scalability, and cost-effectiveness. However, PV generation is inherently variable and weather-dependent, introducing significant uncertainty into grid operations and complicating the task of balancing supply and demand. Accurate forecasting of PV power generation-particularly on day-ahead and hour-ahead horizons-has become a strategic necessity for grid stability, economic efficiency, and environmental sustainability. PV output is influenced by numerous factors, …


Toward Causal Generative Modeling: From Representation Learning To Controllable Generation, Aneesh Komanduri May 2026

Toward Causal Generative Modeling: From Representation Learning To Controllable Generation, Aneesh Komanduri

Graduate Theses and Dissertations

The hallmark of human intelligence is causal reasoning, the ability to infer relationships between causes and effects through observation and intervention. While modern deep learning has excelled at identifying statistical patterns, current generative models often struggle to capture the underlying structural causal mechanisms of the data-generating process, leaving them vulnerable to shortcut learning and spurious associations. To achieve true generalizability and interpretability, artificial intelligence must transition from simple association to higher-level causal reasoning to be capable of scheduling and planning in the real world. This dissertation develops fundamental methodologies for causal generative modeling by integrating Pearl’s Structural Causal Model (SCM) …


Probing Representational Emergence In Large Language Models, Shawn Ismail May 2026

Probing Representational Emergence In Large Language Models, Shawn Ismail

Master's Theses

This thesis investigates whether abrupt behavioral gains in large language models under scaling are accompanied by systematic changes in internal representations. It combines a behavioral screen of 65 tasks per family with targeted layerwise probing across eight decoder-only, open-weight model families. Behavioral emergence is defined for each family-task trajectory using an empirical jump detector, with segmented regression retained only as a diagnostic. The representational follow-up analyzes 27 selected MMLU subtasks shared across all families, spanning 37 checkpoints and 216 family-task units.

For each follow-up checkpoint, frozen linear probes are trained on every layer's hidden states to measure how much task-relevant …


Federated Neuromorphic Intelligence: Advancing Robustness, Efficiency, And Continual Adaptation In Edge Environments, Manh V. Nguyen May 2026

Federated Neuromorphic Intelligence: Advancing Robustness, Efficiency, And Continual Adaptation In Edge Environments, Manh V. Nguyen

Dissertations

This dissertation investigates how spiking neural networks (SNNs) can improve federated edge intelligence by advancing three interconnected goals: communication efficiency, adversarial robustness, and continual adaptation. As edge computing deployments expand across Internet of Things (IoT), sensing, and privacy-sensitive applications, conventional federated learning approaches built around artificial neural networks (ANNs) face growing limitations in power consumption, bandwidth demand, and resilience to real-world uncertainty. SNNs offer an alternative computational paradigm based on event-driven, sparse, and temporally structured processing that is naturally suited to constrained edge environments. However, their behavior in practical federated settings remains insufficiently understood.

To address this gap, this dissertation …


Learning Global Context For Sparse Activity Recognition In Lengthy Recordings With Limited Dataset Size, Zeyu Tang May 2026

Learning Global Context For Sparse Activity Recognition In Lengthy Recordings With Limited Dataset Size, Zeyu Tang

All Dissertations

This dissertation describes methods to analyze lengthy recordings of data in order to detect sparsely occurring activities. The narrative below describes the progression of research that led to the development of these methods and their generalization into a unified framework. My research started with designing models for dietary monitoring, including detecting meals from day-long recordings and detecting intake gestures from meal-length recordings. Both tasks share some common characteristics: (a) the target event takes only a small portion of data recordings, and (b) there is global context within full-length data recordings that can help a model make better decisions. After finishing …


Conditioning Hierarchical Diffusion Transformers On Rf Circuit Parameters, Ethan Morton May 2026

Conditioning Hierarchical Diffusion Transformers On Rf Circuit Parameters, Ethan Morton

McKelvey School of Engineering Graduate Student Theses & Dissertations

As modern ML techniques have become increasingly advanced, they have begun to be integrated into wireless RF systems for classification, identification, and spectrum management. Deep Neural Networks (DNNs) enable RF system operators and designers to design more flexible systems with greater robustness to errors and attacks. However, neural networks require significant amounts of properly annotated data to train. Current data labeling methods lack the ability to obtain reliable true labels for circuit properties such as carrier frequency offset (CFO), power amplifier (PA) non-linearity, and in-phase/quadrature (IQ) imbalance. This thesis investigates the efficacy of a novel architecture, RF-Diffusion, for generating high-quality …


Selective Concolic Testing, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu May 2026

Selective Concolic Testing, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu

Research Collection School Of Computing and Information Systems

The principled combination of symbolic execution and random testing lacks a formal foundation, especially in deciding which inputs to symbolize. We propose selective concolic testing, a cost-aware framework that formulates this choice as an optimized policy problem of a MDP (Markov Decision Process). We model program exploration over a finite control-flow graph, where MDP states represent covered statements, actions partition path constraints into symbolic and random fragments, rewards reflect coverage gain, and costs account for SMT solving effort and sampling inefficiency. Our framework yields the first formal characterization of selective symbolization as policy synthesis in a probabilistic system. We prove …