1. Identifying Functionally Similar Code in Complex Codebases Su, Fang-Hsiang; Bell, Jonathan; Kaiser, Gail E.; Sethumadhavan, Simha 2016 Reports Software engineeringComputer softwareComputer software--DevelopmentComputer programmingComputer science
2. Code Relatives: Detecting Similar Software Behavior Su, Fang-Hsiang; Harvey, Kenneth; Sethumadhavan, Simha; Kaiser, Gail E.; Jebara, Tony 2015 Reports Programming languages (Electronic computers)Software engineeringComputer science
3. Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing Su, Fang-Hsiang; Bell, Jonathan Schaffer; Murphy, Christian; Kaiser, Gail E. 2015 Reports Computer programs--TestingDebugging in computer scienceComputer science
4. Dynamic Taint Tracking for Java with Phosphor (Demo) Bell, Jonathan Schaffer; Kaiser, Gail E. 2015 Reports Computer scienceComputer software--TestingJava (Computer program language)
5. Parikshan: Live Debugging of Production Systems in Isolation Arora, Nipun; Ivancic, Franjo; Kaiser, Gail E. 2015 Reports Service-oriented architecture (Computer science)Computer softwareDebugging in computer science--Computer programsComputer science
6. Setting budgets for live debugging Arora, Nipun; Sharma, Abhishek; Kaiser, Gail E. 2015 Reports Queuing theory--Computer programsBudgetDebugging in computer scienceComputer science
7. Failure Analysis of the New York City Power Grid Wu, Leon; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia; Kaiser, Gail E. 2014 Reports Smart power gridsComputer science
8. Metamorphic Runtime Checking of Applications Without Test Oracles Bell, Jonathan Schaffer; Murphy, Christian; Kaiser, Gail E. 2014 Reports Computer science
9. Phosphor: Illuminating Dynamic Data Flow in the JVM Bell, Jonathan Schaffer; Kaiser, Gail E. 2014 Reports Computer science
10. A Gameful Approach to Teaching Software Design and Software Testing - Assignments and Quests Sheth, Swapneel; Bell, Jonathan Schaffer; Kaiser, Gail E. 2013 Reports Computer science
11. Effectiveness of Teaching Metamorphic Testing, Part II Mishra, Kunal S.; Kaiser, Gail E.; Sheth, Swapneel Kalpesh 2013 Reports Computer science
12. FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems Wu, Leon; Kaiser, Gail E. 2013 Reports Computer science
13. Metamorphic Runtime Checking of Applications without Test Oracles Murphy, Christian; Kaiser, Gail E.; Bell, Jonathan Schaffer; Su, Fang-Hsiang 2013 Reports Computer science
14. N Heads Are Better Than None Hopkins, Morris; Casteneda, Mauricio; Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2013 Reports Computer science
15. Unit Test Virtualization with VMVM Bell, Jonathan Schaffer; Kaiser, Gail E. 2013 Reports Computer science
16. Us and Them - A Study of Privacy Requirements Across North America, Asia, and Europe Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2013 Reports Computer science
17. A Competitive-Collaborative Approach for Introducing Software Engineering in a CS2 Class Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E. 2012 Reports Computer science
18. An Autonomic Reliability Improvement System for Cyber-Physical Systems Wu, Leon Li; Kaiser, Gail E. 2012 Reports Computer science
19. Chronicler: Lightweight Recording to Reproduce Field Failures Bell, Jonathan Schaffer; Sarda, Nikhil; Kaiser, Gail E. 2012 Reports Computer science
20. Effectiveness of Teaching Metamorphic Testing Mishra, Kunal Swaroop; Kaiser, Gail E. 2012 Reports Computer science
21. End-User Regression Testing for Privacy Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2012 Reports Computer science
22. Improving Efficiency and Reliability of Building Systems Using Machine Learning and Automated Online Evaluation Wu, Leon Li; Kaiser, Gail E.; Solomon, David M.; Winter, Rebecca Lynn; Boulanger, Albert G.; Anderson, Roger N. 2012 Reports Computer science
23. Increasing Student Engagement in Software Engineering with Gamification Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E. 2012 Reports Computer science
24. A Large-Scale, Longitudinal Study of Player Achievements in World of Warcraft Bell, Jonathan Schaffer; Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2011 Reports Computer science
25. BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports Wu, Leon Li; Xie, Boyi; Kaiser, Gail E.; Passonneau, Rebecca 2011 Reports Computer science
26. Constructing Subtle Concurrency Bugs Using Synchronization-CentricSecond-Order Mutation Operators Wu, Leon Li; Kaiser, Gail E. 2011 Reports Computer science
27. Data Quality Assurance and Performance Measurement of Data Mining for Preventive Maintenance of Power Grid Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Anderson, Roger N. 2011 Reports Computer science
28. Estimation of System Reliability Using a Semiparametric Model Wu, Leon Li; Teravainen, Timothy Kaleva; Kaiser, Gail E.; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia 2011 Reports Computer science
29. Evaluating Machine Learning for Improving Power Grid Reliability Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj 2011 Reports Computer science
30. HALO (Highly Addictive, sociaLly Optimized) Software Engineering Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E. 2011 Reports Computer science
31. Money for Nothing and Privacy for Free? Sheth, Swapneel Kalpesh; Malkin, Tal G.; Kaiser, Gail E. 2011 Reports Computer science
32. On Effective Testing of Health Care Simulation Software Murphy, Christian; Raunak, M. S.; King, Andrew; Chen, Sanjien; Imbriano, Christopher; Kaiser, Gail E.; Lee, Insup; Sokolsky, Oleg; Clarke, Lori; Osterweil, Leon 2011 Reports Computer science
33. POWER: Parallel Optimizations With Executable Rewriting Arora, Nipun; Bell, Jonathan Schaffer; Kim, Martha Allen; Singh, Vishal; Kaiser, Gail E. 2011 Reports Computer science
34. Secret Ninja Testing with HALO Software Engineering Bell, Jonathan Schaffer; Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2011 Reports Computer science
35. Towards Diversity in Recommendations Using Social Networks Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Arora, Nipun; Kaiser, Gail E. 2011 Reports Computer science
36. Automatic Detection of Defects in Applications without Test Oracles Murphy, Christian; Kaiser, Gail E. 2010 Reports Computer science
37. Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis Murphy, Christian; Vaughan, Moses; Ilahi, Waseem; Kaiser, Gail E. 2010 Reports Computer science
38. Baseline: Metrics for setting a baseline for web vulnerability scanners Dai, Huning; Glass, Michael; Kaiser, Gail E. 2010 Reports Computer science
39. Comparing Speed of Provider Data Entry: Electronic Versus Paper Methods Jackson, Kevin M.; Kaiser, Gail E.; Wong, Lyndon; Rabinowitz, Daniel; Chiang, Michael F. 2010 Reports Computer science
40. CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection Dai, Huning; Murphy, Christian; Kaiser, Gail E. 2010 Reports Computer science
41. Empirical Evaluation of Approaches to Testing Applications without Test Oracles Murphy, Christian; Kaiser, Gail E. 2010 Reports Computer science
42. Empirical Study of Concurrency Mutation Operators for Java Wu, Leon Li; Kaiser, Gail E. 2010 Reports Computer science
43. Testing and Validating Machine Learning Classifiers by Metamorphic Testing Xie, Xiaoyuan; Ho, Joshua W. K.; Murphy, Christian; Kaiser, Gail E.; Xu, Baowen; Chen, Tsong Yueh 2010 Reports Computer science
44. The Tradeoffs of Societal Computing Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2010 Reports Computer science
45. The weHelp Reference Architecture for Community-Driven Recommender Systems Sheth, Swapneel Kalpesh; Arora, Nipun; Murphy, Christian; Kaiser, Gail E. 2010 Reports Computer science
46. Towards Using Cached Data Mining for Large Scale Recommender Systems Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2010 Reports Computer science
47. A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng 2009 Reports Computer science
48. Automatic System Testing of Programs without Test Oracles Murphy, Christian; Shen, Kuang; Kaiser, Gail E. 2009 Reports Computer science
49. COMPASS: A Community-driven Parallelization Advisor for Sequential Software Sethumadhavan, Lakshminarasimhan; Kaiser, Gail E. 2009 Reports Computer science
50. Configuration Fuzzing for Software Vulnerability Detection Dai, Huning; Murphy, Christian; Kaiser, Gail E. 2009 Reports Computer science
51. Improving the Quality of Computational Science Software by Using Metamorphic Relations to Test Machine Learning Applications Xie, Xiaoyuan; Ho, Joshua; Murphy, Christian; Kaiser, Gail E.; Xu, Baowen; Chen, Tsong Yueh 2009 Reports Computer scienceMachine learningComputers--Scientific applicationsSoftware engineering
52. Metamorphic Runtime Checking of Non-Testable Programs Murphy, Christian; Kaiser, Gail E. 2009 Reports Computer science
53. Metamorphic Runtime Checking of Non-Testable Programs Murphy, Christian; Kaiser, Gail E. 2009 Reports Computer science
54. Multi-perspective Evaluation of Self-Healing Systems Using Simple Probabilistic Models Griffith, Rean; Kaiser, Gail E.; LoÌpez, Javier Alonso 2009 Reports Computer science
55. Rapid Parallelization by Collaboration Sethumadhavan, Lakshminarasimhan; Kaiser, Gail E. 2009 Reports Computer science
56. weHelp: A Reference Architecture for Social Recommender Systems Sheth, Swapneel Kalpesh; Arora, Nipun; Murphy, Christian; Kaiser, Gail E. 2009 Reports Computer science
57. A Distance Learning Approach to Teaching eXtreme Programming Murphy, Christian; Phung, Dan; Kaiser, Gail E. 2008 Reports Computer science
58. CPU Torrent -- CPU Cycle Offloading to Reduce User Wait Time and Provider Resource Requirements Sheth, Swapneel Kalpesh; Kaiser, Gail E. 2008 Reports Computer science
59. Deux: Autonomic Testing System for Operating System Upgrades Wu, Leon L.; Kaiser, Gail E.; Nieh, Jason; Murphy, Christian 2008 Reports Computer science
60. Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng 2008 Reports Computer science
61. genSpace: Exploring Social Networking Metaphors for Knowledge Sharing and Scientific Collaborative Work Murphy, Christian; Sheth, Swapneel Kalpesh; Kaiser, Gail E.; Wilcox, Lauren 2008 Reports Computer science
62. Improving the Dependability of Machine Learning Applications Murphy, Christian; Kaiser, Gail E. 2008 Reports Computer science
63. Properties of Machine Learning Applications for Use in Metamorphic Testing Murphy, Christian; Kaiser, Gail E.; Hu, Lifeng 2008 Reports Computer science
64. Quality Assurance of Software Applications Using the In Vivo Testing Approach Murphy, Christian; Kaiser, Gail E.; Vo, Ian; Chu, Matt 2008 Reports Computer science
65. Retina: Helping Students and Instructors Based on Observed Programming Activities Murphy, Christian; Kaiser, Gail E.; Loveland, Kristin; Hasan, Sahar 2008 Reports Computer science
66. The In Vivo Approach to Testing Software Applications Murphy, Christian; Kaiser, Gail E.; Chu, Matt 2008 Reports Computer science
67. Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles Murphy, Christian; Shen, Kuang; Kaiser, Gail E. 2008 Reports Computer science
68. Using Runtime Testing to Detect Defects in Applications without Test Oracles Murphy, Christian; Kaiser, Gail E. 2008 Reports Computer science
69. An Approach to Software Testing of Machine Learning Applications Murphy, Christian; Kaiser, Gail E.; Arias, Marta 2007 Reports Computer science
70. Backstop: A Tool for Debugging Runtime Errors Murphy, Christian; Kim, Eunhee; Kaiser, Gail E.; Cannon, Adam 2007 Reports Computer science
71. Distributed In Vivo Testing of Software Applications Chu, Matt; Murphy, Christian; Kaiser, Gail E. 2007 Reports Computer science
72. Experiences in Teaching eXtreme Programming in a Distance Learning Program Murphy, Christian; Phung, Dan; Kaiser, Gail E. 2007 Reports Computer science
73. Parameterizing Random Test Data According to Equivalence Classes Murphy, Christian; Kaiser, Gail E.; Arias, Marta 2007 Reports Computer science
74. RAS-Models: A Building Block for Self-Healing Benchmarks Griffith, Rean; Virmani, Ritika; Kaiser, Gail E. 2007 Reports Computer science
75. The Role of Reliability, Availability and Serviceability (RAS) Models in the Design and Evaluation of Self-Healing Systems Griffith, Rean; Virmani, Ritika; Kaiser, Gail E. 2007 Reports Computer science
76. Towards In Vivo Testing of Software Applications Murphy, Christian; Kaiser, Gail E.; Chu, Matt 2007 Reports Computer science
77. A Framework for Quality Assurance of Machine Learning Applications Murphy, Christian; Kaiser, Gail E.; Arias, Marta 2006 Reports Computer science
78. A Runtime Adaptation Framework for Native C and Bytecode Applications Griffith, Rean; Kaiser, Gail E. 2006 Reports Computer science
79. Deriving Utility from a Self-Healing Benchmark Report Virmani, Ritika; Griffith, Rean; Kaiser, Gail E. 2006 Reports Computer science
80. A Control Theory Foundation for Self-Managing Computing Systems Diao, Yixin; Hellerstein, Joseph; Parekh, Sujay; Griffith, Rean; Kaiser, Gail E.; Phung, Dan 2005 Reports Computer science
81. Adaptive Interactive Internet Team Video Phung, Dan; Valetto, Giuseppe; Kaiser, Gail E. 2005 Reports Computer science
82. Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning Phung, Dan; Valetto, Giuseppe; Kaiser, Gail E.; Liu, Tiecheng; Kender, John R. 2005 Reports Computer science
83. Adding Self-healing capabilities to the Common Language Runtime Griffith, Rean; Kaiser, Gail E. 2005 Reports Computer science
84. A Genre-based Clustering Approach to Content Extraction Gupta, Suhit; Becker, Hila; Kaiser, Gail E.; Stolfo, Salvatore 2005 Reports Computer science
85. A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems Valetto, Giuseppe; Kaiser, Gail E. 2005 Reports Computer science
86. A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems Valetto, Giuseppe; Kaiser, Gail E.; Phung, Dan 2005 Reports Computer science
87. Dynamic Adaptation of Rules for Temporal Event Correlation in Distributed Systems Griffith, Rean; Hellerstein, Joseph L.; Diao, Yixin; Kaiser, Gail E. 2005 Reports Computer science
88. Dynamic Adaptation of Temporal Event Correlation Rules Griffith, Rean; Kaiser, Gail E.; Hellerstein, Joseph; Diao, Yixin 2005 Reports Computer science
89. Effecting Runtime Reconfiguration in Managed Execution Environments Griffith, Rean; Valetto, Giuseppe; Kaiser, Gail E. 2005 Reports Computer science
90. Genre Classification of Websites Using Search Engine Snippets Gupta, Suhit; Kaiser, Gail E.; Stolfo, Salvatore; Becker, Hila 2005 Reports Computer science
91. Manipulating Managed Execution Runtimes to Support Self-Healing Systems Griffith, Rean; Kaiser, Gail E. 2005 Reports Computer science
92. P2P Video Synchronization in a Collaborative Virtual Environment Gupta, Suhit; Kaiser, Gail E. 2005 Reports Computer science
93. Automating Content Extraction of HTML Documents Gupta, Suhit; Kaiser, Gail E.; Grimm, Peter; Starren, Justin 2004 Reports Computer science
94. Autonomic Control for Quality Collaborative Video Viewing Phung, Dan; Valetto, Giuseppe; Kaiser, Gail E. 2004 Reports Computer science
95. Extracting Context To Improve Accuracy For HTML Content Extraction Gupta, Suhit; Kaiser, Gail E.; Stolfo, Salvatore 2004 Reports Computer science
96. Optimizing Quality for Collaborative Video Viewing Phung, Dan; Valetto, Giuseppe; Kaiser, Gail E.; Gupta, Suhit 2004 Reports Computer science
97. Self-Managing Systems: A Control Theory Foundation Diao, Yixin; Hellerstein, Joseph L.; Parekh, Sujay; Griffith, Rean; Kaiser, Gail E.; Phung, Dan 2004 Reports Computer science
98. Virtual Environment for Collaborative Distance Learning With Video Synchronization Gupta, Suhit; Kaiser, Gail E. 2004 Reports Computer science
99. A Holistic Approach to Service Survivability Keromytis, Angelos D.; Parekh, Janak J.; Gross, Philip N.; Kaiser, Gail E.; Misra, Vishal; Nieh, Jason; Rubenstein, Daniel Stuart; Stolfo, Salvatore 2003 Reports Computer science
100. Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems Kaiser, Gail E.; Parekh, Janak J.; Gross, Philip N.; Valetto, Giuseppe 2003 Reports Computer science