Start Search Over

Active Search Criteria:

Displaying items 21 - 30 of 31
sorted by

21 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

22 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

23 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

24 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

25 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

26 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

27 Using Metamorphic Testing at Runtime to Detect Defects in Applications without Test Oracles

Author(s):
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:29612

28 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

29 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

30 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

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