ISR TECHNICAL REPORTS 2021
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-ISR-21-100
Beyond Configurable Systems: Applying Variational Execution to Tackle Large Search Spaces
Chu-Pan Wong, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-101
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
Mauricio Soto, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-102
Construct User Guide
Meal Altman, Michael Kowalchuck, Kathleen M. Carley
Abstract,
.pdf
Superceded by CMU-ISR-22-102
CMU-ISR-21-103
External Factors in Sustainability of Opensource Software
Marat Valiev, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-104
Search-based Plan Reuse in Self-* Systems
Cody Kinneer, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-105
Automated Testing of Robotic and Cyberphysical Systems
Afsoon Afzal, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-106
Measuring and increasing the reach of security information through online media
Sruti Bhagavatula, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-107
Design and Evaluation of Security and Privacy Nudges: From Protection Motivation Theory to Implementation Intentions
Peter Story, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-108
Unavailable to Date
CMU-ISR-21-109
Evaluating the Usability of Privacy Choice Mechanisms
Hana Habib, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-110
Project OMEN: Designing a Training Game to Fight Misinformation on Social Media
Catherine King, Christine Sowa Lepird, Kathleen M. Carley
Abstract,
.pdf
CMU-ISR-21-111
Informing the Design and Refinement of Privacy and Security Controls
Daniel Smullen, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-112
Debugging the Performance of Configurable Software Systems: A Human-Centered
White-box Approach
Miguel Velez, Ph.D. Thesis
Abstract,
.pdf
CMU-ISR-21-113
Cyber-FIT Agent-Based Simulation Framework Version 4
Geoffrey B. Dobson, Kathleen M. Carley
Abstract,
.pdf