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

Computer Sciences Commons

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

2023

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 121 - 150 of 3503

Full-Text Articles in Computer Sciences

Emotional Health And Climate-Change-Related Stressor Extraction From Social Media: A Case Study Using Hurricane Harvey, Thanh Bui, Andrea Hannah, Sanjay Madria, Rosemary Nabaweesi, Eugene Levin, Michael Wilson, Long Nguyen Dec 2023

Emotional Health And Climate-Change-Related Stressor Extraction From Social Media: A Case Study Using Hurricane Harvey, Thanh Bui, Andrea Hannah, Sanjay Madria, Rosemary Nabaweesi, Eugene Levin, Michael Wilson, Long Nguyen

Computer Science Faculty Research & Creative Works

Climate change has led to a variety of disasters that have caused damage to infrastructure and the economy with societal impacts to human living. Understanding people's emotions and stressors during disaster times will enable preparation strategies for mitigating further consequences. in this paper, we mine emotions and stressors encountered by people and shared on Twitter during Hurricane Harvey in 2017 as a showcase. in this work, we acquired a dataset of tweets from Twitter on Hurricane Harvey from 20 August 2017 to 30 August 2017. the dataset consists of around 400,000 tweets and is available on Kaggle. Next, a BERT-Based …


Vertical Free-Swinging Photovoltaic Racking Energy Modeling: A Novel Approach To Agrivoltaics, Koami Soulemane Hayibo, Joshua M. Pearce Dec 2023

Vertical Free-Swinging Photovoltaic Racking Energy Modeling: A Novel Approach To Agrivoltaics, Koami Soulemane Hayibo, Joshua M. Pearce

Electrical and Computer Engineering Publications

To enable lower-cost building materials, a free-swinging bifacial vertical solar photovoltaic (PV) rack has been proposed, which complies with Canadian building codes and is the lowest capital-cost agrivoltaics rack. The wind force applied to the free-swinging PV, however, causes it to have varying tilt angles depending on the wind speed and direction. No energy performance model accurately describes such a system. To provide a simulation model for the free-swinging PV, where wind speed and direction govern the array tilt angle, this study builds upon the open-source System Advisor Model (SAM) using Python. After the SAM python model is validated, a …


Predictive Machine Learning And Its Future In Professional Basketball, Zachary Harmon Dec 2023

Predictive Machine Learning And Its Future In Professional Basketball, Zachary Harmon

Honors College Theses

Artificial Intelligence (AI) is an ever-evolving field, transforming various aspects of contemporary life. From language models to immersive gaming experiences, AI technologies have become integral to our daily existence. Among the most promising arenas for AI integration is the world of sports. This research delves into the application of machine learning models to predict NBA game outcomes, shedding light on the profound impact of machine learning in the realm of professional basketball. Beyond the scope of game prediction, this study explores the broader implications, such as optimizing the selection of televised games, assisting players in showcasing their skills, and much …


Decoding Usage And Adoption Behavior Of The Low-Carbon Transportation Market: An Ai-Driven Exploration, Vuban Chowdhury Dec 2023

Decoding Usage And Adoption Behavior Of The Low-Carbon Transportation Market: An Ai-Driven Exploration, Vuban Chowdhury

Graduate Theses and Dissertations

The transportation sector stands as a significant contributor to greenhouse gas emissions in the United States, with its environmental impact steadily escalating over the past few decades. This has prompted government agencies to facilitate the adoption and usage of low-carbon transportation (LCT) options as alternatives to fossil-fuel-powered transportation. LCTs include modes of transportation that minimize the overall carbon footprint of the transportation sector by relying on energy sources that are environmentally sustainable. These sustainable transportation options have also garnered significant interest in the transportation research community. For government agencies and researchers alike, a comprehensive understanding of the adoption and usage …


If We Add Axiom Of Choice To Constructive Analysis, We Get Classical Arithmetic: An Exercise In Reverse Constructive Mathematics, Olga Kosheleva, Vladik Kreinovich Dec 2023

If We Add Axiom Of Choice To Constructive Analysis, We Get Classical Arithmetic: An Exercise In Reverse Constructive Mathematics, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

A recent paper in Bulletin of Symbolic Logic reminded that the Axiom of Choice is, in general, false in constructive analysis. This result is an immediate consequence of a theorem -- first proved by Tseytin -- that every computable function is continuous. In this paper, we strengthen the result about the Axiom of Choice by proving that this axiom is as non-constructive as possible: namely, that if we add this axiom to constructive analysis, then we get full classical arithmetic.


When Is A Single "And"-Condition Enough?, Olga Kosheleva, Vladik Kreinovich Dec 2023

When Is A Single "And"-Condition Enough?, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, there are several possible decisions. Any general recommendation means specifying, for each possible decision, conditions under which this decision is recommended. In some cases, a single "and"-condition is sufficient: e.g., a condition under which a patient is recommended to take aspirin is that "the patient has a fever and the patient does not have stomach trouble". In other cases, conditions are more complicated. A natural question is: when is a single "and"-condition enough? In this paper, we provide an answer to this question.


Enhancing The Classification Of Autism Spectrum Disorder From Rs-Fmri Functional Connectivity Data Using Temporal Information, Mihir Yashwant Ingole Dec 2023

Enhancing The Classification Of Autism Spectrum Disorder From Rs-Fmri Functional Connectivity Data Using Temporal Information, Mihir Yashwant Ingole

Computer Science and Engineering Theses - Archive

Autism Spectrum Disorder (ASD) affects the patient’s cognitive development which leads to difficulties in social functioning, daily tasks, and independent living. This necessitates intervention at an early age to take preventive measures and provide vital care. Manual diagnosis methods like Autism Diagnostic Observation Schedule (ADOS) assessment adopts symptom-based criteria which typically manifest at a later age. To automate this process, correlations computed from BOLD (Blood Oxygen-level dependent) signals obtained through resting state functional magnetic resonance imaging (rs-fMRI) data of patients across sparse brain regions has been used recently as a measure of functional connectivity. The goal of this study is …


Easemarks: Using Secondary Sketch Marks To Author And Communicate Motion Interpolation, Hadrien Nguyen Dec 2023

Easemarks: Using Secondary Sketch Marks To Author And Communicate Motion Interpolation, Hadrien Nguyen

Computer Science and Engineering Theses - Archive

Motion interpolation is a process where an animator transforms jerky frame transitions into rich motions that communicate anticipation, urgency, hysteresis, and even calmness. Animators leverage mathematical functions known as easing curves to modify the rate at which in-betweens are added to keyframes. While effective, easing curves are tedious to tune since they fundamentally lack the ability to encode spatial information. Inspired by timing charts and other standards from traditional cel animation, we introduce a motion animation technique where secondary marks, which we term EaseMark (e.g., hatches, loops), are used to denote motion interpolation decisions. We synthesize an EaseMark Sketching Language …


Hemln-Sd: Substructure Discovery In Heterogeneous Multilayer Networks, Kiran Bolaj Dec 2023

Hemln-Sd: Substructure Discovery In Heterogeneous Multilayer Networks, Kiran Bolaj

Computer Science and Engineering Theses - Archive

Graph mining analyzes the real-world graphs for finding core substructures in chemical compounds (e.g., Benzene), identify the structure that occurs frequently in a given graph or forest. These identified structures are important as they reveal an inherent feature or property in the given graph or forest. Substructures represent interesting and repeating patterns found within an application, offering insights into hidden regularities. Therefore, the process of finding these interesting and frequent patterns in an unsupervised manner is known as substructure discovery. SUBDUE was the first main-memory algorithm developed for substructure discovery. Since then, for scalability, the algorithm has been extended to …


Homln-Sd: Substructure Discovery In Homogeneous Multilayer Networks, Arshdeep Singh Dec 2023

Homln-Sd: Substructure Discovery In Homogeneous Multilayer Networks, Arshdeep Singh

Computer Science and Engineering Theses - Archive

Substructure discovery is a process in data analysis and data mining that involves identifying and extracting meaningful patterns, structures, or components within a larger dataset. These substructures can be of various types, such as frequent patterns, motifs, or any other relevant features within the data. The growth of the internet and the proliferation of mobile devices have led to the generation of enormous amounts of data. Companies like Facebook and Twitter can generate large datasets from user interactions on their websites, such as connections between users and user generated content. Moreover, advances in processing power and storage capacity have made …


Feasibility Study Of Off-The-Shelf Components On A Split-Cycle Motor And Esc Testbed, Hayden C. Lotspeich Dec 2023

Feasibility Study Of Off-The-Shelf Components On A Split-Cycle Motor And Esc Testbed, Hayden C. Lotspeich

Computer Science and Engineering Theses - Archive

This project aims to create a testbed for split-cycle flapping wing systems that allows for testing of different motors and ESC protocols to find a suitable set for a flapping wing system. In order for a flapping-wing drone to be able to maneuver, it has to be able to flap its wings at different speeds when flapping forward and flapping backwards. The arching back-and-forth motion is what the output wing would be connected to, so this system is used to calculate the maximum split-cycle time ratio that can be achieved when set up with different motors and ESC protocols.


Design Of Single Precision Floating Point Unit (32-Bit Numbers) According To Ieee 754 Standard Using Verilog, And Creation Of An Education Model For Advanced Digital Logic And Design Courses, Kartikey Sharan Dec 2023

Design Of Single Precision Floating Point Unit (32-Bit Numbers) According To Ieee 754 Standard Using Verilog, And Creation Of An Education Model For Advanced Digital Logic And Design Courses, Kartikey Sharan

Computer Science and Engineering Theses - Archive

In today’s day and age of arithmetic, Floating Point Arithmetic is by far the most industry sanctioned way of approximating real number arithmetic for making numerical calculations on all computers used by industries on an everyday basis. In the year 1985, IEEE 754 standard was established that defined a single universal standard for all different arithmetic formats [1]. Before this, for a long period each computer had a different arithmetic format and size for bases, significand, and exponents. This format allowed industries all around the world to compute floating point arithmetic in a universal way and facilitated open communication between …


Enhancing Biomedical Imaging With Ai: Compression, Prediction, And Multi-Modal Integration For Clinical Advancement, Mohammad Sadegh Nasr Dec 2023

Enhancing Biomedical Imaging With Ai: Compression, Prediction, And Multi-Modal Integration For Clinical Advancement, Mohammad Sadegh Nasr

Computer Science and Engineering Dissertations - Archive

This dissertation delves into the enhancement of biomedical image analysis through the deployment of artificial intelligence methodologies, focusing on the transition from theoretical innovation to practical clinical utility. Spanning four cornerstone projects, the work encapsulates the development of predictive models for spatial transcriptomics, efficient image compression for cancer pathology slides, and critical evaluations of histopathology slide search engines. The first project employs Random Forest Regression and spatial point processes to forecast cell distribution patterns, thereby offering a novel perspective on gene expression in embryogenesis at a single-molecule resolution. The second venture introduces a Variational Autoencoder (VAE) that sets a new …


Parameterized Complexity Of Feature Selection For Categorical Data Clustering, Sayan Bandyapadhyay, Fedor V. Fomin, Petr A. Golovach, Kirill Simonov Dec 2023

Parameterized Complexity Of Feature Selection For Categorical Data Clustering, Sayan Bandyapadhyay, Fedor V. Fomin, Petr A. Golovach, Kirill Simonov

Computer Science Faculty Publications and Presentations

We develop new algorithmic methods with provable guarantees for feature selection in regard to categorical data clustering. While feature selection is one of the most common approaches to reduce dimensionality in practice, most of the known feature selection methods are heuristics. We study the following mathematical model. We assume that there are some inadvertent (or undesirable) features of the input data that unnecessarily increase the cost of clustering. Consequently, we want to select a subset of the original features from the data such that there is a small-cost clustering on the selected features. More precisely, for given integers (the …


Gated Recurrent Units For Blockage Mitigation In Mmwave Wireless, Ahmed H. Almutairi, Alireza Keshavarz-Haddad, Ehsan Aryafar Dec 2023

Gated Recurrent Units For Blockage Mitigation In Mmwave Wireless, Ahmed H. Almutairi, Alireza Keshavarz-Haddad, Ehsan Aryafar

Computer Science Faculty Publications and Presentations

Millimeter-Wave (mmWave) communication is susceptible to blockages, which can significantly reduce the signal strength at the receiver. Mitigating the negative impacts of blockages is a key requirement to ensure reliable and high throughput mmWave communication links. Previous research on blockage mitigation has introduced several model and protocol based blockage mitigation solutions that focus on one technique at a time, such as handoff to a different base station or beam adaptation to the same base station. In this paper, we address the overarching problem: what blockage mitigation method should be employed? and what is the optimal sub-selection within that method? To …


The Underrepresentation Of Black Females In Cybersecurity, Makendra Latrice Crosby Dec 2023

The Underrepresentation Of Black Females In Cybersecurity, Makendra Latrice Crosby

Cybersecurity Undergraduate Research Showcase

The significance of cybersecurity methods, strategies, and programs in protecting computers and electronic devices is crucial throughout the technological infrastructure. Despite the considerable growth in the cybersecurity field and its expansive workforce, there exists a notable underrepresentation, specifically among Black/African American females. This study examines the barriers hindering the inclusion of Black women in the cybersecurity workforce such as socioeconomic factors, limited educational access, biases, and workplace culture. The urgency of addressing these challenges calls for solutions such as education programs, mentorship initiatives, creating inclusive workplace environments, and promoting advocacy and increased awareness within the cybersecurity field. Additionally, this paper …


Rising Threat - Deepfakes And National Security In The Age Of Digital Deception, Dougo Kone-Sow Dec 2023

Rising Threat - Deepfakes And National Security In The Age Of Digital Deception, Dougo Kone-Sow

Cybersecurity Undergraduate Research Showcase

This paper delves into the intricate landscape of deepfakes, exploring their genesis, capabilities, and far-reaching implications. The rise of deepfake technology presents an unprecedented threat to American national security, propagating disinformation and manipulation across various media formats. Notably, deepfakes have evolved from a historical backdrop of disinformation campaigns, merging with the advancements of artificial intelligence (AI) and machine learning to craft convincing but false multimedia content.

Examining the capabilities of deepfakes reveals their potential for misuse, evidenced by instances targeting individuals, companies, and even influencing political events like the 2020 U.S. elections. The paper highlights the direct threats posed by …


New Paths Of Attacks: Revealing The Adaptive Integration Of Artificial Intelligence In Evolving Cyber Threats Targeting Social Media Users And Their Data, Larry Teasley Dec 2023

New Paths Of Attacks: Revealing The Adaptive Integration Of Artificial Intelligence In Evolving Cyber Threats Targeting Social Media Users And Their Data, Larry Teasley

Cybersecurity Undergraduate Research Showcase

The intersection between artificial intelligence tools and social media has opened doors to numerous opportunities and risks. This research delves into the escalating threat landscape in a society heavily dependent on social media. Despite the efforts by social media companies and cybersecurity professionals to mitigate cyber-attacks, the constant advancements of new technologies render social media platforms increasingly vulnerable. Malicious actors exploit generative AI to collect user data, enhancing cyber threats on social media. Notably, generative AI amplifies phishing attacks, disseminates false information, and propagates propaganda, posing substantial challenges to platform security. Ease access to large language models (LLMs) further complicates …


Lip(S) Service: A Socioethical Overview Of Social Media Platforms’ Censorship Policies Regarding Consensual Sexual Content, Sage Futrell Dec 2023

Lip(S) Service: A Socioethical Overview Of Social Media Platforms’ Censorship Policies Regarding Consensual Sexual Content, Sage Futrell

Cybersecurity Undergraduate Research Showcase

The regulation of sexual exploitation on social media is a pressing issue that has been addressed by government legislation. However, laws such as FOSTA-SESTA has inadvertently restricted consensual expressions of sexuality as well. In four social media case studies, this paper investigates the ways in which marginalized groups have been impacted by changing censorship guidelines on social media, and how content moderation methods can be inclusive of these groups. I emphasize the qualitative perspectives of sex workers and queer creators in these case studies, in addition to my own experiences as a content moderation and social media management intern for …


Privacy Concerns And Proposed Solutions With Iot In Wearable Technology, Hyacinth Abad Dec 2023

Privacy Concerns And Proposed Solutions With Iot In Wearable Technology, Hyacinth Abad

Cybersecurity Undergraduate Research Showcase

This paper examines the dynamic relationship between IoT cybersecurity and privacy concerns associated with wearable devices. IoT, with its exponential growth, presents both opportunities and challenges in terms of accessibility, integrity, availability, scalability, confidentiality, and interoperability. Cybersecurity concerns arise as diverse attack surfaces exploit vulnerabilities in IoT systems, necessitating robust defenses. In the field of wearable technology, these devices offer benefits like health data tracking and real-time communication. However, the adoption of these devices raises privacy concerns. The paper explores proposed solutions, including mechanisms for user-controlled data collection, the implementation of Virtual Trip Line (VTL) and virtual wall approaches, and …


A Review Of Threat Vectors To Dna Sequencing Pipelines, Tyler Rector Dec 2023

A Review Of Threat Vectors To Dna Sequencing Pipelines, Tyler Rector

Cybersecurity Undergraduate Research Showcase

Bioinformatics is a steadily growing field that focuses on the intersection of biology with computer science. Tools and techniques developed within this field are quickly becoming fixtures in genomics, forensics, epidemiology, and bioengineering. The development and analysis of DNA sequencing and synthesis have enabled this significant rise in demand for bioinformatic tools. Notwithstanding, these bioinformatic tools have developed in a research context free of significant cybersecurity threats. With the significant growth of the field and the commercialization of genetic information, this is no longer the case. This paper examines the bioinformatic landscape through reviewing the biological and cybersecurity threats within …


Integrating Ai Into Uavs, Huong Quach Dec 2023

Integrating Ai Into Uavs, Huong Quach

Cybersecurity Undergraduate Research Showcase

This research project explores the application of Deep Learning (DL) techniques, specifically Convolutional Neural Networks (CNNs), to develop a smoke detection algorithm for deployment on mobile platforms, such as drones and self-driving vehicles. The project focuses on enhancing the decision-making capabilities of these platforms in emergency response situations. The methodology involves three phases: algorithm development, algorithm implementation, and testing and optimization. The developed CNN model, based on ResNet50 architecture, is trained on a dataset of fire, smoke, and neutral images obtained from the web. The algorithm is implemented on the Jetson Nano platform to provide responsive support for first responders. …


Enhancing Indoors Robotic Traversability Estimation With Sensor Fusion, Christos Sevastopoulos Dec 2023

Enhancing Indoors Robotic Traversability Estimation With Sensor Fusion, Christos Sevastopoulos

Computer Science and Engineering Dissertations - Archive

Generally speaking, traversability estimation illustrates the ability to navigate or move through a particular environment (indoors or outdoors). Indoor environments are governed by uncertainty and stochasticity arising from their complex structures encapsulating both static elements like furniture and walls, as well as entities such as moving humans. In our research, we underline the importance of blending semantic and spatial information for ensuring secure navigation for a mobile robot. We show that RGB sensors suffer from constrained situational awareness of the surroundings, thus highlighting the need to incorporate spatial and geometric data, which can collaborate synergistically to enhance overall perception and …


An Intelligent Multi-Modal Framework Towards Assessing Human Cognition, Ashish Jaiswal Dec 2023

An Intelligent Multi-Modal Framework Towards Assessing Human Cognition, Ashish Jaiswal

Computer Science and Engineering Dissertations - Archive

Cognition is the mental process of acquiring knowledge and understanding through thought, experience, and senses. Fatigue is a loss in cognitive or physical performance due to physiological factors such as insufficient sleep, long work hours, stress, and physical exertion. It adversely affects the human body and can slow reaction times, reduce attention, and limit short-term memory. Hence, there is a need to monitor a person's state to avoid extreme fatigue conditions that can result in physiological complications. However, tools to understand and assess fatigue are minimal. This thesis primarily focuses on building an experimental setup that induces cognitive fatigue (CF) …


External Debt Pass-Through To Inflation In Nigeria, Emmanuel A. Asue, James V. Ikyaator Dec 2023

External Debt Pass-Through To Inflation In Nigeria, Emmanuel A. Asue, James V. Ikyaator

CBN Journal of Applied Statistics (JAS)

This study examines external debt pass-through to inflation in Nigeria using annual data from 1981 to 2020 based on structural vector autoregressive (SVAR) model. The results reveal that an increase in external debt service leads to a significant depreciation of the exchange rate, which leads to a contemporaneous increase in inflation, while the direct response of inflation to external debt is statistically not significant. The impulse response confirms these results. The forecast error variance decomposition depicts that future values of official exchange rate depend on external debt, inflation and external debt service. The study recommends that the Nigerian government should …


Demystifying Artificial Intelligence (Ai) For Early Childhood And Elementary Education: A Case Study Of Perceptions Of Ai Of State Of Missouri Educators, Kathryn Arnone, James Hutson, Karen Woodruff Dec 2023

Demystifying Artificial Intelligence (Ai) For Early Childhood And Elementary Education: A Case Study Of Perceptions Of Ai Of State Of Missouri Educators, Kathryn Arnone, James Hutson, Karen Woodruff

Faculty Scholarship

Artificial intelligence (AI) and its impact on society have received a great deal of attention in the past five years since the first Stanford AI100 report. AI already globally impacts individuals in critical and personal ways, and many industries will continue to experience disruptions as the full algorithmic effects are understood. However, with regard to education, adopting in disciplines remains limited largely to Computer Science and Information Technology in postsecondary education. Recent advances with technology are especially promising for their potential to create and scale personalized learning for students, to optimize strategies for learning outcomes, and to increase access to …


Potential Security Vulnerabilities In Raspberry Pi Devices With Mitigation Strategies, Briana Tolleson Dec 2023

Potential Security Vulnerabilities In Raspberry Pi Devices With Mitigation Strategies, Briana Tolleson

Cybersecurity Undergraduate Research Showcase

For this research project I used a Raspberry Pi device and conducted online research to investigate potential security vulnerabilities along with mitigation strategies. I configured the Raspberry Pi by using the proper peripherals such as an HDMI cord, a microUSB adapter that provided 5V and at least 700mA of current, a TV monitor, PiSwitch, SD Card, keyboard, and mouse. I installed the Rasbian operating system (OS). The process to install the Rasbian took about 10 minutes to boot starting at 21:08 on 10/27/2023 and ending at 21:18. 1,513 megabytes (MB) was written to the SD card running at (2.5 MB/sec). …


How Chatgpt Can Be Used As A Defense Mechanism For Cyber Attacks, Michelle Ayaim Dec 2023

How Chatgpt Can Be Used As A Defense Mechanism For Cyber Attacks, Michelle Ayaim

Cybersecurity Undergraduate Research Showcase

The powers of OpenAI's groundbreaking AI language model, ChatGPT, startled millions of users when it was released in November. But for many, the tool's ability to further accomplish the goals of evil actors swiftly replaced their initial excitement with significant concerns. ChatGPT gives malicious actors additional ways to possibly compromise sophisticated cybersecurity software. Leaders in a sector that is currently suffering from a 38% global spike in data breaches in 2022 must acknowledge the rising influence of AI and take appropriate action. Cybercriminals are writing more complex and focused business email compromise (BEC) and other phishing emails with the assistance …


Resilient, Sustainable, And Secure Systems Support For Ultra-Low-Power Computational Things, Nicole Tobias Dec 2023

Resilient, Sustainable, And Secure Systems Support For Ultra-Low-Power Computational Things, Nicole Tobias

All Dissertations

Wireless battery-free and energy-harvesting devices are expanding the reach and vision of the Internet of Things, where trillions of embedded computational things interconnect ubiquitously around us and inform many different aspects of our everyday lives. Designing these systems without batteries and interconnecting wires lowers maintenance, environmental, and economic costs while also extending device lifetime and deployment opportunities. Over the last decade, research on these ultra-low-power embedded sensors and systems has dramatically increased — enabling new and exciting prospects in many different scientific fields, from smart building and health monitoring applications to animal and activity tracking.

These systems are not without …


Constructing Large Open-Source Corpora And Leveraging Language Models For Simulink Toolchain Testing And Analysis, Sohil Lal Shrestha Dec 2023

Constructing Large Open-Source Corpora And Leveraging Language Models For Simulink Toolchain Testing And Analysis, Sohil Lal Shrestha

Computer Science and Engineering Dissertations - Archive

In several safety-critical industries such as automotive, aerospace, healthcare, and industrial automation, MATLAB/Simulink has emerged as the de-facto standard tool for system modeling and analysis, model compilation into executable code, and code deployment onto embedded hardware. Within the context of cyber-physical system (CPS) development, it is imperative to both rigorously test the development tools, such as MathWorks’ Simulink, and understand modeling practices and model evolution. The existing body of work faces limitations primarily stemming from two factors: (1) contemporary testing methodologies often prove inefficient in identifying critical toolchain bugs due to a paucity of explicit toolchain specifications and (2) there …