SOFTWARE AND SOCIETAL SYSTEMS TECHNICAL REPORTS 2025
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
412.268.8525 – 412.268.5576 (fax)


Technical Reports by Author
Theses by Author

CMU-S3D-25-100
Exploiting Test Structure to Enhance Language Models for Software Testing
Kush Dave Jain, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-25-101
Navigating Challenges with LLM-based Code Generation using Software-specific Insights
Nikitha Rao, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-25-102
Effective and Practical Strategies for Combatting Misinformation
Catherine King, Ph.D. Thesis
Abstract, .pdf
Currently Unavailable

CMU-S3D-25-103
AI-Enabled Social Cyber Maneuver Detection and Creation
Matthew Hicks, Ph.D. Thesis
Abstract, .pdf
Currently Unavailable

CMU-S3D-25-104
Architecture-Based Graceful Degradation for Cybersecurity
Ryan R. Wagner, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-25-105
Characterizing State-Sponsored Information Campaigns through Network Discovery
Charity Jacobs, Ph.D. Thesis
Abstract, .pdf
Currently Unavailable

CMU-S3D-25-106
Digital Pink Slime: Measuring, Finding, and Countering OnlineThreats to Local News
Christine Sowa Lepird, Ph.D. Thesis
Abstract, .pdf
Currently Unavailable

CMU-S3D-25-107
Rethinking the Design of Human-Centric AI Systems for Deployment in Transportation
Rex Chen, Ph.D. Thesis
Abstract, .pdf Pending

CMU-S3D-25-108
Embeddings-Assisted Requirements Extraction and Elicitation
Yuchen Shen, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-25-109
AuraSight: Generating Realistic Social Media Data
Lynnette Hui Xian Ng, Bianca N. Y. Kang, Kathleen M. Carley
Abstract, .pdf

CMU-S3D-25-110
Attack Flow Network Models of MITRE ATT&CK Groups and Campaigns
Jeongkeun Shin, Siyuan Zhai, L. Richard Carley, Kathleen M. Carley
Abstract, .pdf Currently Unavailable Electronically

CMU-S3D-25-111
Human and AI Decision-Making in Cybersecurity: A Multiagent Modeling Perspective
Yinuo Du, Ph.D. Thesis
Abstract, .pdf Pending

CMU-S3D-25-112
Automatic Inference of Behavioral Component Models for ROS-Based Robotics Systems
Tobias Dürschmid, Ph.D. Thesis
Abstract, .pdf Pending

CMU-S3D-25-113
Unavailable to Date

CMU-S3D-25-114
Measuring the Impact of Profile Signals on Online Platform Integrity and User Safety
Alejandro E.D. Cuevas V., Ph.D. Thesis
Abstract, .pdf Pending


Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu