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

Digital Commons Network™

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

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 23311 - 23340 of 1823814

Full-Text Articles in Entire DC Network

Solid Embedded Telemetry, Pranav Balasubramanian Natarajan May 2026

Solid Embedded Telemetry, Pranav Balasubramanian Natarajan

Graduate Theses and Dissertations

This thesis explores the integration of the Solid decentralized data framework within embedded and legacy energy control systems to enable secure, access-controlled, and interoperable data exchange. Two implementations were developed to evaluate Solid’s practical applicability: an ESP32 client implementing Solid-OIDC authentication and telemetry publication to a Solid Pod, and a Modbus-to-Solid bridge translating Modbus RTU communications into RDF-based data for bidirectional control. Experimental evaluation highlighted the effects of task scheduling and blocking operations on the ESP32, and polling-based communication latency within the Modbus bridge. These findings reveal the architectural and computational trade-offs involved in extending Solid to constrained or protocol-bound …

Go to article

Effects Of Wetting And Drying On Nutrient Mobilization In Aquatic Systems, Karessa Grace De La Paz May 2026

Effects Of Wetting And Drying On Nutrient Mobilization In Aquatic Systems, Karessa Grace De La Paz

Graduate Theses and Dissertations

Wetting and drying cycles are a fundamental, but underexplored, control on nutrient mobilization and transport in aquatic ecosystems. Such intermittency impacts approximately 60% of the world's streams and rivers, and the extent is expected to increase with future climate change. Additionally, aging reservoir infrastructure is driving restoration efforts, like large-scale drawdowns, that can expose benthic sediments to extended dry periods before refilling. Despite the prevalence of wet-dry cycles, how they influence nutrient transport and mobilization across different aquatic ecosystems remains poorly understood. To address this gap, this thesis presents two complementary studies exploring nutrient dynamics in Arkansas aquatic ecosystems that …

Go to article

Understanding The Effects Of Adventure Therapy On Inner City Youths' Sense Of Relatedness, Nicolas Bellegarde May 2026

Understanding The Effects Of Adventure Therapy On Inner City Youths' Sense Of Relatedness, Nicolas Bellegarde

Graduate Theses and Dissertations

Adventure therapy is a creative, transtheoretical group-based model of counseling that utilizes kinesthetic activities coupled with metaphors and processing modalities, alongside experiences outdoors, to facilitate insight and motivate healthy communication between group members. Through intentional sequencing and guidance of activities, facilitators aim to improve participants' communication skills, group engagement, and ability to tolerate discomfort and risk while strategically solving problems. In addition, the integration of nature and the outdoors has been demonstrated to improve mental health and well-being, generating a sense of connectedness to the environment and to the group. Adolescence is a time of rapid developmental change characterized by …

Go to article

Assessment Of The Quality, Practicality, And Economic Viability Of Malted Rice, Bernardo Pontes Guimaraes May 2026

Assessment Of The Quality, Practicality, And Economic Viability Of Malted Rice, Bernardo Pontes Guimaraes

Graduate Theses and Dissertations

Climate change threatens the global supply of malting barley, creating a need for sustainable, climate-resilient alternative grains for the brewing industries. This dissertation investigated the chemical, sensorial, practical, and economic viability of using rice as a malting material. First, the malting and brewing qualities of 20 rice samples were evaluated. Results indicated malted rice (MR) had good malting and brewing qualities, including adequate levels of free amino nitrogen (FAN), high amyloglucosidase and limit dextrinase activities. Furthermore, pigmented rice varieties displayed a novel reddish-purple wort color. To identify rice cultivars suited for malting and brewing, the relationship between starch chemistry and …

Go to article

Recovery And Evaluation Of A Germanium Infrared Camera, Michael Paszek May 2026

Recovery And Evaluation Of A Germanium Infrared Camera, Michael Paszek

Graduate Theses and Dissertations

Short-wave infrared imagers made of germanium are a promising way to extend silicon-compatible imaging beyond the visible spectrum. They also use mature CMOS fabrication and readout electronics. This thesis details the recovery, initialization, and evaluation of a germanium focal plane array (FPA) infrared camera system using both a sealed TriWave camera and a modular prototype platform. Functionality was restored to this legacy hardware, and repeatable testing workflows were established for evaluating packaged infrared imagers under controlled indoor and outdoor conditions. The prototype used a custom software interface named Merlott for evaluation, and it followed a standard sequence that included checking …

Go to article

How Consumer Awareness Of Sustainability And Labor Practices Shape Fast Fashion Purchase Intentions, Sydney Smith May 2026

How Consumer Awareness Of Sustainability And Labor Practices Shape Fast Fashion Purchase Intentions, Sydney Smith

Graduate Theses and Dissertations

This study examines how consumer awareness of sustainability issues and unethical labor practices influences fast fashion purchase intentions. Grounded in the Theory of Planned Behavior and supported by the Symbolic Interaction Theory, the research explores how awareness, subjective norms, perceived behavioral control, and price sensitive shape consumer decision-making. A quantitative research design was employed using a self-administered online survey distributed via social media platforms. The final sample included 187 participants, and data were analyzed using descriptive statistics, correlation analyses, and multiple linear regression. Findings revealed that although participants reported moderate to high levels of awareness, this awareness did not significantly …

Go to article

Does The Medium Make A Difference? A Quantitative Study Of Traditional Versus Social Media, Erin Elaine Bailey May 2026

Does The Medium Make A Difference? A Quantitative Study Of Traditional Versus Social Media, Erin Elaine Bailey

Graduate Theses and Dissertations

People are changing why they use social media, what used to be a way to unwind and stay in touch with old friends is now being used for something much different. This study looks into how young adults (ages 18–25) perceive and retain information from social media compared to traditional media. As social media increasingly functions as both an entertainment and news source, the distinction between it and traditional journalism continues to diminish. Using a quota sample of 300 participants, data were collected through a Qualtrics survey measuring media engagement, usage, perceived credibility, and knowledge retention. Participants were exposed to …

Go to article

Religion, Crime, And The Mediating Effects Of Social Control And Self-Control, Parker Bowman May 2026

Religion, Crime, And The Mediating Effects Of Social Control And Self-Control, Parker Bowman

Graduate Theses and Dissertations

Past research on the relationship between religion and crime has found the two variables have a significant negative correlation. Currently, there are two main mechanisms used to explain this relationship: social control and self-control. Social control theorists argue that participation in religious organizations decreases criminal behaviors by increasing social bonds. Self-control theorists argue that religious norms and values decrease criminal behavior by increasing an individual's self-control. While both mechanisms have been well supported by research, there remains the question of which is the stronger mediator of the religion-crime relationship. This study seeks to answer this question by comparing the effects …

Go to article

Does Self-Compassion Buffer Against The Potential Effects Of Perfectionism And Psychopathology On Non-Suicidal Self-Injury?, Natasha Bourgoin May 2026

Does Self-Compassion Buffer Against The Potential Effects Of Perfectionism And Psychopathology On Non-Suicidal Self-Injury?, Natasha Bourgoin

Electronic Theses and Dissertations

University students with increased rates of reported perfectionism, anxiety, and depression, are vulnerable to non-suicidal self-injury (NSSI). However, not all students with psychological distress engage in NSSI, suggesting protective factors may help to mitigate this risk. The present study examined the relation between perfectionism and NSSI, via the mediating effects of anxiety and depression, and the moderating role of self-compassion. Participants were 338 university students (67% female; 87% White) who completed several self-report measures. Students with greater perfectionism reported higher levels of anxiety and depressive symptoms and, in turn, more NSSI engagement. Self-compassion and several self-compassionate domains attenuated connections between …

Go to article

Entrepreneurial Ingenuity Of Buffalo's Brewers From 1870 To 1972, Olivia Harbol May 2026

Entrepreneurial Ingenuity Of Buffalo's Brewers From 1870 To 1972, Olivia Harbol

History Theses

This thesis looks at Buffalo’s legacy breweries from 1870 to 1972.  Buffalo had a dynamic brewing past with over 30 breweries in existence on the eve of Prohibition. Buffalo’s breweries always displayed remarkable entrepreneurial ingenuity, which allowed them to adapt, change, and shift their businesses to survive. The brewers faced setbacks well before Prohibition ranging from fires to overcompetition to licensing challenges to outside brewers poaching their local markets. In covering Prohibition challenges, this thesis will only look at local brewers’ attempts to survive inside the law.  Plenty of work has already been done on illegal forms of coping.  In …

Go to article

Prevalence Of And Hindrances To Abolitionism In Buffalo And Erie County, 1830-1860, Lauren V. Kausner May 2026

Prevalence Of And Hindrances To Abolitionism In Buffalo And Erie County, 1830-1860, Lauren V. Kausner

History Theses

When Americans think of abolition and abolitionists, they most likely think of Frederick Douglass, William Lloyd Garrison or Harriet Tubman. Those names are associated with New England and Rochester, New York. Many accounts of abolitionism mention Buffalo, but only in passing. As a terminus on the Underground Railroad, Buffalo was on the route to freedom in Canada and played a vital role in the nation’s journey towards eliminating slavery. This thesis endeavors to discover the depth of abolitionist tendencies in Buffalo by looking at specific individuals and events between 1830 and 1860. There were politicians and trends that most likely …

Go to article

The Effect Of Hydroflow Devices On Calcium Carbonate Buildup., Holton Shults May 2026

The Effect Of Hydroflow Devices On Calcium Carbonate Buildup., Holton Shults

Master of Engineering Theses

Water containing high levels of dissolved minerals, mainly calcium and magnesium, is known as hard water, which is commonly found across the world due to calcium’s abundance in the earth’s crust. Hard water can lead to calcium carbonate buildup (also referred to as limescale) that reduces flow, clogs pipes, and lowers heat exchanger efficiency, all of which can drive up costs. This work evaluated two commercially available chemical-free treatment devices from HydroFLOW USA LLC, called the Pearl Plus and s38 devices. These electromagnetic devices are designed to alter calcium carbonate crystal structure, potentially reducing the amount of calcium …

Go to article

Bartle Library Research Study, Samiha S. Kazi May 2026

Bartle Library Research Study, Samiha S. Kazi

Library Research Scholars Program Spring 2026

This study examines the factors that influence first-year students’ decisions to seek in-person research assistance at Bartle Library at Binghamton University. While libraries provide valuable academic support and resources, many students do not consistently use these services. Drawing on existing literature, this research explores how library design, service awareness, and emotional factors shape help-seeking behavior. Prior studies suggest that unclear layouts, low visibility of help desks, and limited understanding of librarian roles can discourage engagement. While other studies state that stigma and fear of judgment may further delay students from seeking help. However, existing research often overlooks how these factors …

Go to article

Characterizing Negative Academic Experiences, Danae M. Gaytan May 2026

Characterizing Negative Academic Experiences, Danae M. Gaytan

Arts & Sciences Graduate Student Theses and Dissertations

According to the 2024 National College Health Assessment, roughly one in five college students experience serious psychological distress (ACHA, 2024). High levels of psychological distress among college students are well-documented (Emmerton et al., 2024; Eisenberg et al., 2013; Bewick et al., 2010), yet less is known about the specific experiences that contribute to this distress. Grounded in multiple theoretical frameworks, this study examines students’ negative academic experiences, their perceived causes, and associated outcomes. Using an online crowdsourcing platform, current higher education students (N = 215) described their most negative academic experience (NAE) and then answered questions about their reactions and …

Go to article

Simultaneous Carrier, Cargo, And Functional Tracking Of Lipid Nanoparticles, Hannia Vanessa Balcorta Muñoz May 2026

Simultaneous Carrier, Cargo, And Functional Tracking Of Lipid Nanoparticles, Hannia Vanessa Balcorta Muñoz

Open Access Theses & Dissertations

Lipid nanoparticles (LNPs) have become effective delivery vehicles in nanomedicine, particularly for nucleic acid-based treatments. However, a major limitation remains in the field regarding the simultaneous monitoring of the nanoparticle carrier, its encapsulated payload, and the resulting functional protein production in both in vitro and in vivo systems. Furthermore, traditional lipophilic dyes employed for labeling LNPs frequently exhibit incompatibility with tissue-clearing methods, such as CLARITY, due to signal loss following lipid removal. This research developed and evaluated a new fluorescent labeling method using CM-DiI, a dye that reacts with thiols, for multimodal tracking of LNPs. CM-DiI was included in the …

Go to article

We Are Still Lipan: Identity Erasure, Settler Colonialism, Historical Memory And The Persistence Of The Non-Reservation Lipan Apache, Freddy Cabral May 2026

We Are Still Lipan: Identity Erasure, Settler Colonialism, Historical Memory And The Persistence Of The Non-Reservation Lipan Apache, Freddy Cabral

Open Access Theses & Dissertations

This dissertation challenges the long-standing historical narrative that the Lipan Apache disappeared in the late nineteenth century. Instead, it argues that the non-reservation Lipan Apache survived through strategic adaptation, mobility, kinship networks, and cultural continuity across the United States-Mexico borderlands. By examining the Lipan experience under Spanish colonial rule, Mexican governance, the Republic of Texas, and the State of Texas, this study demonstrates that shifting political regimes consistently pursued Indigenous land, labor, and subordination through structures of settler colonialism and racial hierarchy. Using the frameworks of settler colonialism, white supremacy, genocide studies, oral history, and autoethnography, this dissertation shows how …

Go to article

Spike-Sorting Algorithm For Neuropixel Probes, Luis David Davila May 2026

Spike-Sorting Algorithm For Neuropixel Probes, Luis David Davila

Open Access Theses & Dissertations

Modern extracellular neural probes like Neuropixels, allow for high-density extracellular neural probes to record terabytes of electrophysiological brain data. Spike sorting is the process of isolating individual neurons on this data through various clustering and filtering techniques. Modern spike sorting algorithms are held back by their need for human intervention to separate high-quality from low quality clusters, due to the volume of data that can be collected a completely automated approach is required. To address this requirement, we have developed a framework to preprocess, cluster, grade, and separate high/low quality clustering results using custom models trained on the grades. To …

Go to article

Obsequium, And Other Stories, Jesse Epps May 2026

Obsequium, And Other Stories, Jesse Epps

Open Access Theses & Dissertations

This thesis collection, Obsequium, and Other Stories, explores the emotional and social consequences of poverty, racism, addiction, grief, and generational trauma through a blend of literary fiction, horror, and postmodern satire. Drawing heavily from the author's upbringing in the American South, the collection examines how people navigate systems of oppression while struggling to maintain identity, dignity, and agency. The accompanying critical preface reflects on the author's creative development, personal hardships, and the literary influences that shaped the work, including horror writers such as Stephen King and postmodern authors like Chuck Palahniuk and Percival Everett. Across the stories, recurring themes of …

Go to article

Exploring Policy Change To Support Early Diagnosis Of Congenital Heart Defects (Chd) In New Mexico, Kelsey Carson Leibenhaut May 2026

Exploring Policy Change To Support Early Diagnosis Of Congenital Heart Defects (Chd) In New Mexico, Kelsey Carson Leibenhaut

Doctor of Nursing Practice Scholarly Projects

Congenital heart disease (CHD) is not a new or rare problem; it has likely always been a leading cause of childhood morbidity and mortality and clocks in today as the most frequently occurring birth defect, affecting an estimated 1 in 100 newborns (CDC, 2025). Prior to the middle of the 20th century, there was little to be done about CHD, as no treatments existed. Everything changed with the advancement of options for surgical repair of CHDs, significantly prolonging lifespans and improving quality of life for affected individuals. Despite these incredible advancements, babies are born with CHD every day, leading to …

Go to article

Ambient Air Pollution In New Mexico: Nurse Practitioner Awareness, Mckenzie Hemmes, Grayson Kemp May 2026

Ambient Air Pollution In New Mexico: Nurse Practitioner Awareness, Mckenzie Hemmes, Grayson Kemp

Doctor of Nursing Practice Scholarly Projects

Ambient air pollution is a significant public health concern in New Mexico and contributes to respiratory disease, cardiovascular illness, and adverse pregnancy outcomes (Dominski et al., 2021; Di et al., 2022). Despite well-established evidence linking environmental exposures to health outcomes, environmental exposure screening is not routinely incorporated into clinical practice. The purpose of this Doctor of Nursing Practice (DNP) project was to improve environmental health literacy (EHL) among advanced practice registered nurses (APRNs) in New Mexico and to increase their intention to integrate ambient air pollution exposure screening and mitigation counseling into routine clinical practice. A virtual educational intervention guided …

Go to article

The "Confidential Whispers" Of Charles Francis Adams From His Teens Through Marriage At Age 22, Mitchell Jay Freedman May 2026

The "Confidential Whispers" Of Charles Francis Adams From His Teens Through Marriage At Age 22, Mitchell Jay Freedman

History ETDs

The early diaries and letters of Charles Francis Adams (1807-1886) reveal, contrary to previous scholarship, a passionate and sensitive young man engaged in multiple social activities with male and female friends and family, as well as enjoying licentious and respectful personal relationships with women. CFA was strategic with whom he was friendly or reserved, rooted in his hostility towards “hangers-on” and “hypocrites.” CFA also read widely both fiction and non-fiction with an affected sensitivity consistent with his desire for a literary-oriented life, the latter most reflected in his later curating his forebears’ papers. CFA’s early life experiences led CFA to …

Go to article

Performing (For The) Guru: A Performance Studies Approach To The Study Of Cults, Todd M. Brown May 2026

Performing (For The) Guru: A Performance Studies Approach To The Study Of Cults, Todd M. Brown

Dissertations

This project approaches a long-term experience of living in a cult through a performance studies lens. Utilizing autoethnographic methods, it explores personal insights and observations from years within the inner-circle of a coercive religious environment under tyrannical leadership. A variety of systems and relationships are narrated and analyzed according to three categories: ritualization, deployability, and occupation. Ritualization explains how a body becomes imbued with the rhythms and mantras of a cultic milieu. Deployability describes how this body is put into action at the service of the leadership. Occupation, as a metaphor, illuminates how a cultic subject becomes filled with the …

Go to article

From Structure To Support: An Integrative Model Of Leadership, Emotional Exhaustion, Role Clarity, And Daoist Moderation, Aradhna Mohan May 2026

From Structure To Support: An Integrative Model Of Leadership, Emotional Exhaustion, Role Clarity, And Daoist Moderation, Aradhna Mohan

Dissertations

Rooted in the understanding that effective leadership significantly influences organizational outcomes, this study examines process-oriented relationships between leader initiating structure and subordinate outcomes. Specifically, it extends the leadership literature by focusing on the cognitive resources underlying initiating structure behaviors, such as role-related clarity, that may enhance positive subordinate outcomes and mitigate negative ones. The study also incorporates an underexamined Eastern leadership style, Daoist Water-Like Leadership, and explores its associations with leader initiating structure and consideration. Guided by the Job Demands-Resources (JD-R) model, this research assesses the effects of initiating structure and Daoist leadership on emotional exhaustion, examines the relationship between …

Go to article

Intelligent Surveillance For Weapon Threat Detection: Transformer-Based Detection And Segmentation Using Thermal And Rgb Imagery, Akhila Kambhatla May 2026

Intelligent Surveillance For Weapon Threat Detection: Transformer-Based Detection And Segmentation Using Thermal And Rgb Imagery, Akhila Kambhatla

Dissertations

Proactive public-safety surveillance requires deep learning systems that can detect and segment weapons reliably under real-world conditions. This research develops and evaluates a progressive, multi-phase pipeline that moves (i) from RGB object detection to pixel-level semantic segmentation and (ii) from visible-spectrum cameras to thermal imagery to improve robustness under low-light, clutter, and occlusion. Early phases establish strong detection baselines using one-stage and two-stage detectors (YOLOv5 and Faster R-CNN) for multi-class weapon localization, followed by practical optimization through pruning and ensembling to reduce false positives and computational overhead while maintaining real-time feasibility. Building on the limitations of bounding-box localization, the methodology …

Go to article

The Las Cruces International Mariachi Conference: Breaking Down Constructed Borderlands, Melissa Rios May 2026

The Las Cruces International Mariachi Conference: Breaking Down Constructed Borderlands, Melissa Rios

Music ETDs

Despite its significant contribution to the educational mariachi movement in the United States, the history of the Las Cruces International Mariachi Conference (LCIMC), established in 1994, remains largely absent from existing scholarship. This study offers a historical account of mariachi music in Las Cruces and the development of the LCIMC, establishing a foundation for future research on mariachi music in the Mesilla Valley. Distinct from other mariachi conferences that emerged at the turn of the 21st century, the LCIMC was shaped by its location in a border city in New Mexico. Conceptualizing both physical borders and metaphorical border spaces as …

Go to article

Sevoauth: Secure Voiceprint Authentication With Hash-Based Feature Transformation, Rui Zhang, Zheng Yan, Robert H. Deng May 2026

Sevoauth: Secure Voiceprint Authentication With Hash-Based Feature Transformation, Rui Zhang, Zheng Yan, Robert H. Deng

Research Collection School Of Computing and Information Systems

While voiceprint authentication offers convenient user authentication and access control through voice feature recognition, a critical research gap remains: existing voiceprint authentication systems fail to simultaneously achieve sound security against replay, spoofing, and adversarial attacks, preserve voice privacy leakage, and satisfy usability demand. Previous efforts have struggled to balance these issues comprehensively. To bridge this gap, we present SeVoAuth, a cloud-based Voiceprint Authentication as a Service (VAaaS) system designed to provide privacy preservation, robust security, and enhanced usability. SeVoAuth stores a synthesized voiceprint of a user in the cloud during user registration, thereby safeguarding the privacy of the real voiceprint …

Go to article

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 …

Go to article

Collaborative Practices And Tool Utilization In Software Development Projects: A Student Perspective, Yi Meng Lau, Muhammad Syahmi Bin Abbas, Lingxiao Jiang May 2026

Collaborative Practices And Tool Utilization In Software Development Projects: A Student Perspective, Yi Meng Lau, Muhammad Syahmi Bin Abbas, Lingxiao Jiang

Research Collection School Of Computing and Information Systems

Software development is a collaborative activity that depends on effective teamwork, shared understanding, and coordinated use of development practices and tools. While these aspects are well studied in professional environments, they are less frequently examined within software engineering education. This study investigates how students collaborate in group projects, focusing on collaborative practices, tool usage, and their perceptions of software quality. We conducted a quantitative post-project survey with 143 second-year undergraduate students enrolled in a software development course. The results show that students actively share information and often establish team norms to support coordination and collaboration. However, students face challenges in …

Go to article

Generation Of Elaborated, Targeted And Effective Feedback For Novice Programmers Using Llm, Hua Leong Fwa May 2026

Generation Of Elaborated, Targeted And Effective Feedback For Novice Programmers Using Llm, Hua Leong Fwa

Research Collection School Of Computing and Information Systems

Programming errors and misconceptions are pervasive in novice programmers which causes difficulty in the learning of computer programming. Large Language Models (LLMs), with their ability to comprehend and generate programming codes have shown promising results in the automatic identification of errors. This can potentially benefit student programmers by providing them with timely formative feedback at efficiencies and scale that were not attainable previously. In this study, we leveraged an LLM - OpenAI o4-mini for the generation of elaborated, targeted feedback for novice programmers across PHP and JavaScript exercises. We contend that the feedback needs to be effective and targeted other …

Go to article

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 …

Go to article

First Prev Next Last