Start Search Over

Active Search Criteria:

Displaying all 30 items
sorted by

1 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

2 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

3 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

4 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

5 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

6 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

7 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

8 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

9 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

10 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

11 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

12 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

13 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

14 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

15 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

16 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

17 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

18 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

19 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

20 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

21 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

22 Retina: Helping Students and Instructors Based on Observed Programming Activities

Author(s):
Murphy, Christian; Kaiser, Gail E.; Loveland, Kristin; Hasan, Sahar
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:29595

23 Deux: Autonomic Testing System for Operating System Upgrades

Author(s):
Wu, Leon L.; Kaiser, Gail E.; Nieh, Jason; Murphy, Christian
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:29593

24 Using Runtime Testing to Detect Defects in Applications without Test Oracles

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:29592

25 genSpace: Exploring Social Networking Metaphors for Knowledge Sharing and Scientific Collaborative Work

Author(s):
Murphy, Christian; Sheth, Swapneel Kalpesh; Kaiser, Gail E.; Wilcox, Lauren
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:29589

26 Metamorphic Runtime Checking of Non-Testable Programs

Author(s):
Murphy, Christian; 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:9315

27 Configuration Fuzzing for Software Vulnerability Detection

Author(s):
Dai, Huning; Murphy, Christian; 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:9314

28 weHelp: A Reference Architecture for Social Recommender Systems

Author(s):
Sheth, Swapneel Kalpesh; Arora, Nipun; Murphy, Christian; 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:9299

29 Metamorphic Runtime Checking of Non-Testable Programs

Author(s):
Murphy, Christian; 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:9293

30 Deux: Autonomic Testing System for Operating System Upgrades

Author(s):
Wu, Leon L.; Kaiser, Gail E.; Nieh, Jason; Murphy, Christian
Date:
2008
Permanent URL:
http://hdl.handle.net/10022/AC:P:29593

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