Start Search Over

Active Search Criteria:

Displaying items 1 - 100 of 157
sorted by

1 FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems

Author(s):
Wu, Leon; Kaiser, Gail E.
Date:
2013
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:19679

2 Increasing Student Engagement in Software Engineering with Gamification

Author(s):
Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:15273

3 A Competitive-Collaborative Approach for Introducing Software Engineering in a CS2 Class

Author(s):
Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:15272

4 End-User Regression Testing for Privacy

Author(s):
Sheth, Swapneel Kalpesh; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:14776

5 An Autonomic Reliability Improvement System for Cyber-Physical Systems

Author(s):
Wu, Leon Li; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:14722

6 Chronicler: Lightweight Recording to Reproduce Field Failures

Author(s):
Bell, Jonathan Schaffer; Sarda, Nikhil; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:14436

7 A Holistic Approach to Service Survivability

Author(s):
Keromytis, Angelos D.; Parekh, Janak J.; Gross, Philip N.; Kaiser, Gail E.; Misra, Vishal; Nieh, Jason; Rubenstein, Daniel Stuart; Stolfo, Salvatore
Date:
2003
Subject:
Computer science
Content Type:
Articles
Publisher:
ACM
Permanent URL:
http://hdl.handle.net/10022/AC:P:13979

8 Improving Efficiency and Reliability of Building Systems Using Machine Learning and Automated Online Evaluation

Author(s):
Wu, Leon Li; Kaiser, Gail E.; Solomon, David M.; Winter, Rebecca Lynn; Boulanger, Albert; Anderson, Roger N.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:13213

9 Evaluating Machine Learning for Improving Power Grid Reliability

Author(s):
Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:13133

10 BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports

Author(s):
Wu, Leon Li; Xie, Boyi; Kaiser, Gail E.; Passonneau, Rebecca
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:13132

11 Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators

Author(s):
Wu, Leon Li; Kaiser, Gail E.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:13131

12 An Architecture for Dynamic Reconfiguration in a Distributed Object-Based Programming Language

Author(s):
Hailpern, Brent; Kaiser, Gail E.
Date:
1991
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12831

13 Implementing Activity Structures Process Modeling On Top Of The MARVEL Environment Kernel

Author(s):
Kaiser, Gail E.; Ben-Shaul, Israel Z.; Popovich, Steven S.
Date:
1991
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12829

14 Rule Chaining in MARVEL: Dynamic Binding of Parameters

Author(s):
Heineman, George T.; Kaiser, Gail E.; Barghouti, Naser S.; Ben-Shaul, Israel Z.
Date:
1991
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12825

15 An Object-Based Approach to Implementing Distributed Concurrency Control

Author(s):
Popovich, Steven S.; Kaiser, Gail E.; Wu, Shyhtsun Felix
Date:
1990
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12776

16 An Information Retrieval Approach for Automatically Constructing Software Libraries

Author(s):
Maarek, Yoelle S.; Berry, Daniel M.; Kaiser, Gail E.
Date:
1990
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12773

17 Consistency and Automation in Multi-User Rule-Based Development Environments

Author(s):
Barghouti, Naser S.; Kaiser, Gail E.
Date:
1990
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12772

18 Modeling Regular and Safe Concurrent Processes (Technical Summary)

Author(s):
Hseush, Wenwey; Balraj, Timothy S.; Kaiser, Gail E.
Date:
1990
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12766

19 An Interoperability Model for Process-Centered Software Engineering Environments and Its Implementation in Oz

Author(s):
Ben-Shaul, Israel Z.; Kaiser, Gail E.
Date:
1995
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12533

20 The Cord Approach to Extensible Concurrency Control

Author(s):
Heineman, George T.; Kaiser, Gail E.
Date:
1995
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12531

21 Enveloping Sophisticated Tools into Process-Centered Environments

Author(s):
Valetto, Giuseppe; Kaiser, Gail E.
Date:
1995
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12530

22 Interfacing Oz with the PCTE OMS

Author(s):
Lee, Wenke; Kaiser, Gail E.
Date:
1995
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12506

23 Integrating Groupware Activities into Workflow Management Systems

Author(s):
Ben-Shaul, Israel Z.; Kaiser, Gail E.
Date:
1995
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12465

24 Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments

Author(s):
Valetto, Giuseppe; Kaiser, Gail E.
Date:
1994
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12450

25 An Architecture for Integrating Concurrency Control into Environment Frameworks

Author(s):
Heineman, George T.; Kaiser, Gail E.
Date:
1994
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12442

26 Integrating a Transaction Manager Component with Process Weaver

Author(s):
Heineman, George T.; Kaiser, Gail E.
Date:
1994
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12426

27 Incremental Process Support for Code Reengineering

Author(s):
Heineman, George T.; Kaiser, Gail E.
Date:
1994
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12384

28 Disconnected Operation in a Multi-User Software Development Environment

Author(s):
Skopp, Peter D.; Kaiser, Gail E.
Date:
1993
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12351

29 A Configuration Process for a Distributed Software Development Environment

Author(s):
Ben-Shaul, Israel Z.; Kaiser, Gail E.
Date:
1993
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12348

30 Cooperative Transactions for Multi-User Environments

Author(s):
Kaiser, Gail E.
Date:
1993
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12306

31 Extending Attribute Grammars to Support Programming-in-the-Large

Author(s):
Micallef, Josephine; Kaiser, Gail E.
Date:
1993
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12302

32 MELDC: A Reflective Object-Oriented Coordination Language

Author(s):
Kaiser, Gail E.; Hseushy, Wenwey; Leez, James C.; Wu, Shyhtsun Felix; Woo, Esther; Hilsdale, Eric; Meyer, Scott
Date:
1993
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12301

33 AI Techniques in Software Engineering

Author(s):
Kaiser, Gail E.
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12300

34 An Object Model for Shared Data

Author(s):
Kaiser, Gail E.; Hailpern, Brent
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12299

35 Extending the MERCURY System to Support Teams of Ada Programmers

Author(s):
Micallef, Josephine; Kaiser, Gail E.
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12287

36 Extending a Tool Integration Language

Author(s):
Gisi, Mark A.; Kaiser, Gail E.
Date:
1991
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12197

37 Data Quality Assurance and Performance Measurement of Data Mining for Preventive Maintenance of Power Grid

Author(s):
Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Anderson, Roger N.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12174

38 A Large-Scale, Longitudinal Study of Player Achievements in World of Warcraft

Author(s):
Bell, Jonathan Schaffer; Sheth, Swapneel Kalpesh; Kaiser, Gail E.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12172

39 Modeling Concurrency in Parallel Debugging

Author(s):
Hseush, Wenwey; Kaiser, Gail E.
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12125

40 Experience with Process Modeling in the Marvel Software Development Environment Kernel

Author(s):
Kaiser, Gail E.
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12113

41 A Flexible Transaction Model for Software Engineering

Author(s):
Kaiser, Gail E.
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12112

42 MELDing Multiple Granularities of Parallelism

Author(s):
Kaiser, Gail E.; Popovich, Steven S.; Hseush, Wenwey; Wu, Shyhtsun Felix
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12106

43 Object-Oriented Programming Language Facilities for Concurrency Control

Author(s):
Kaiser, Gail E.
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12105

44 Testing Reliable Distributed Applications Through Simulated Events

Author(s):
Winfrey, Travis L.; Kaiser, Gail E.
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12094

45 Extended Transaction Models for Software Development Environments

Author(s):
Kaiser, Gail E.
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12075

46 Automated Tutoring in Interactive Environments: A Task Centered Approach

Author(s):
Wolz, Ursula; McKeown, Kathleen; Kaiser, Gail E.
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12068

47 An Automated Consultant for Interactive Environments

Author(s):
Wolz, Ursula; Kaiser, Gail E.
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12067

48 A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation

Author(s):
Kaiser, Gail E.; Feiler, Peter H.; Jalili, Fahimeh; Schlichter, Johann H.
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12035

49 Support for Reliable Distributed Computing

Author(s):
Kaiser, Gail E.; Hseush, Wenwey
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12034

50 Split-Transactions for Open-Ended Activities

Author(s):
Pu, Calton; Kaiser, Gail E.; Hutchinson, Norman
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12033

51 GAEA Action Equations Paradigm

Author(s):
Kaiser, Gail E.; Kaplan, Simon M.
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12032

52 MELD: A Multi-Paradigm Language with Objects, Dataflow and Modules

Author(s):
Kaiser, Gail E.; Garlan, David
Date:
1987
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11849

53 MERCURY: Distributed Incremental Attribute Grammar Evaluation

Author(s):
Kaiser, Gail E.; Micallef, Josephine; Kaplan, Simon M.
Date:
1987
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11848

54 Software Development Environments for Very Large Software Systems

Author(s):
Kaiser, Gail E.; Maarek, Yoelle S.; Perry, Dewayne E.; Schwanke, Robert W.
Date:
1987
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11847

55 Reliable Network Communications

Author(s):
Kaiser, Gail E.; Cycowicz, Yael J.; Hseush, Wenwey; Micallef, Josephine
Date:
1987
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11846

56 Specification of Interpreters and Debuggers Using an Extension of Attribute Grammars

Author(s):
Kaiser, Gail E.
Date:
1985
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11733

57 SMILE/ MARVEL: Two Approaches to Knowledge-Based Programming Environments

Author(s):
Kaiser, Gail E.; Feiler, Peter H.
Date:
1986
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11683

58 MELD/ Features: An Object-Oriented Approach to Reusable Software

Author(s):
Kaiser, Gail E.; Garlan, David
Date:
1986
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11678

59 Generation of Distributed Programming Environments

Author(s):
Kaiser, Gail E.; Kaplan, Simon M.; Micallef, Josephine
Date:
1986
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11676

60 Change Management Support for Large Software Systems

Author(s):
Kaiser, Gail E.; Perry, Dewayne E.; Schwanke, Robert W.
Date:
1986
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11675

61 Money for Nothing and Privacy for Free?

Author(s):
Sheth, Swapneel Kalpesh; Malkin, Tal G.; Kaiser, Gail E.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11490

62 Secret Ninja Testing with HALO Software Engineering

Author(s):
Bell, Jonathan Schaffer; Sheth, Swapneel Kalpesh; Kaiser, Gail E.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10684

63 Towards Diversity in Recommendations Using Social Networks

Author(s):
Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Arora, Nipun; Kaiser, Gail E.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10677

64 Estimation of System Reliability Using a Semiparametric Model

Author(s):
Wu, Leon Li; Teravainen, Timothy Kaleva; Kaiser, Gail E.; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10670

65 HALO (Highly Addictive, sociaLly Optimized) Software Engineering

Author(s):
Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10533

66 On Effective Testing of Health Care Simulation Software

Author(s):
Murphy, Christian; Raunak, M. S.; King, Andrew; Chen, Sanjien; Imbriano, Christopher; Kaiser, Gail E.; Lee, Insup; Sokolsky, Oleg; Clarke, Lori; Osterweil, Leon
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10532

67 POWER: Parallel Optimizations With Executable Rewriting

Author(s):
Arora, Nipun; Bell, Jonathan Schaffer; Kim, Martha Allen; Singh, Vishal; Kaiser, Gail E.
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10530

68 Empirical Study of Concurrency Mutation Operators for Java

Author(s):
Wu, Leon Li; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10526

69 Empirical Evaluation of Approaches to Testing Applications without Test Oracles

Author(s):
Murphy, Christian; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10525

70 The Tradeoffs of Societal Computing

Author(s):
Sheth, Swapneel Kalpesh; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10521

71 Towards Using Cached Data Mining for Large Scale Recommender Systems

Author(s):
Sheth, Swapneel Kalpesh; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10519

72 Automatic Detection of Defects in Applications without Test Oracles

Author(s):
Murphy, Christian; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10518

73 Baseline: Metrics for setting a baseline for web vulnerability scanners

Author(s):
Dai, Huning; Glass, Michael; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10517

74 The weHelp Reference Architecture for Community-Driven Recommender Systems

Author(s):
Sheth, Swapneel Kalpesh; Arora, Nipun; Murphy, Christian; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10509

75 Comparing Speed of Provider Data Entry: Electronic Versus Paper Methods

Author(s):
Jackson, Kevin M.; Kaiser, Gail E.; Wong, Lyndon; Rabinowitz, Daniel; Chiang, Michael F.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10508

76 CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection

Author(s):
Dai, Huning; Murphy, Christian; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10507

77 Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis

Author(s):
Murphy, Christian; Vaughan, Moses; Ilahi, Waseem; Kaiser, Gail E.
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10502

78 Testing and Validating Machine Learning Classifiers by Metamorphic Testing

Author(s):
Xie, Xiaoyuan; Ho, Joshua W. K.; Murphy, Christian; Kaiser, Gail E.; Xu, Baowen; Chen, Tsong Yueh
Date:
2010
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10501

79 A Runtime Adaptation Framework for Native C and Bytecode Applications

Author(s):
Griffith, Rean; Kaiser, Gail E.
Date:
2006
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29446

80 RAS-Models: A Building Block for Self-Healing Benchmarks

Author(s):
Griffith, Rean; Virmani, Ritika; Kaiser, Gail E.
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29580

81 An Approach to Software Testing of Machine Learning Applications

Author(s):
Murphy, Christian; Kaiser, Gail E.; Arias, Marta
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29502

82 A Framework for Quality Assurance of Machine Learning Applications

Author(s):
Murphy, Christian; Kaiser, Gail E.; Arias, Marta
Date:
2006
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29471

83 The Role of Reliability, Availability and Serviceability (RAS) Models in the Design and Evaluation of Self-Healing Systems

Author(s):
Griffith, Rean; Virmani, Ritika; Kaiser, Gail E.
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29507

84 A Control Theory Foundation for Self-Managing Computing Systems

Author(s):
Diao, Yixin; Hellerstein, Joseph; Parekh, Sujay; Griffith, Rean; Kaiser, Gail E.; Phung, Dan
Date:
2005
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29508

85 A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

Author(s):
Valetto, Giuseppe; Kaiser, Gail E.; Phung, Dan
Date:
2005
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29509

86 Self-Managing Systems: A Control Theory Foundation

Author(s):
Diao, Yixin; Hellerstein, Joseph L.; Parekh, Sujay; Griffith, Rean; Kaiser, Gail E.; Phung, Dan
Date:
2004
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29510

87 Deriving Utility from a Self-Healing Benchmark Report

Author(s):
Virmani, Ritika; Griffith, Rean; Kaiser, Gail E.
Date:
2006
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29513

88 Parameterizing Random Test Data According to Equivalence Classes

Author(s):
Murphy, Christian; Kaiser, Gail E.; Arias, Marta
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29515

89 Backstop: A Tool for Debugging Runtime Errors

Author(s):
Murphy, Christian; Kim, Eunhee; Kaiser, Gail E.; Cannon, Adam
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29518

90 Experiences in Teaching eXtreme Programming in a Distance Learning Program

Author(s):
Murphy, Christian; Phung, Dan; Kaiser, Gail E.
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29528

91 Towards In Vivo Testing of Software Applications

Author(s):
Murphy, Christian; Kaiser, Gail E.; Chu, Matt
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29529

92 Distributed In Vivo Testing of Software Applications

Author(s):
Chu, Matt; Murphy, Christian; Kaiser, Gail E.
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29536

93 A Distance Learning Approach to Teaching eXtreme Programming

Author(s):
Murphy, Christian; Phung, Dan; Kaiser, Gail E.
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29543

94 The In Vivo Approach to Testing Software Applications

Author(s):
Murphy, Christian; Kaiser, Gail E.; Chu, Matt
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29546

95 Properties of Machine Learning Applications for Use in Metamorphic Testing

Author(s):
Murphy, Christian; Kaiser, Gail E.; Hu, Lifeng
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29550

96 Improving the Quality of Computational Science Software by Using Metamorphic Relations to Test Machine Learning Applications

Author(s):
Xie, Xiaoyuan; Ho, Joshua; Murphy, Christian; Kaiser, Gail E.; Xu, Baowen; Chen, T. Y.
Date:
2009
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29618

97 Rapid Parallelization by Collaboration

Author(s):
Sethumadhavan, Lakshminarasimhan; Kaiser, Gail E.
Date:
2009
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29616

98 Improving the Dependability of Machine Learning Applications

Author(s):
Murphy, Christian; Kaiser, Gail E.
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29605

99 Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles

Author(s):
Murphy, Christian; Shen, Kuang; Kaiser, Gail E.
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29601

100 Quality Assurance of Software Applications Using the In Vivo Testing Approach

Author(s):
Murphy, Christian; Kaiser, Gail E.; Vo, Ian; Chu, Matt
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29600

Powered by the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.