Automatic System Testing of Programs without Test Oracles
BibTexType = inproceedings
author = “Christian Murphy, Kuang Shen and Gail Kaiser”,
title = “Automatic System Testing of Programs without Test Oracles”,
bootktile = “Proc. of the 2009 ACM International Symposium on Software Testing and Analysis (ISSTA)”,
pages = “189-199”,
month = “July”,
year = “2009”
COMPASS
About COMPASS
COMPASS is a Community-driven Parallelization Advisor for Sequential Software. It provides advice to programmers while they reengineer their code for parallelism and provides a platform and an extensible framework for sharing human expertise about code parallelization. COMPASS aims to enable rapid propagation of knowledge about code parallelization in the context of the actual parallelization reengineering, and thus continue to extend the benefits of Moore’s law scaling to science and society.
Team Members
Faculty
Prof. Simha Sethumadhavan, simha [at] cs.columbia.edu
Prof. Gail Kaiser, kaiser [at] cs.columbia.edu
Graduate Students
Nipun Arora, na2271 [at] columbia.edu
Links
Official project website
Original paper from International Workshop on Multicore Software Engineering (IWMSE)
Contact: Nipun Arora
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
Presented by Chris Murphy at the Second IEEE International Conference on Software Testing, Verification and Validation (ICST) on April 3, 2009
Quality Assurance of Software Applications using the In Vivo Testing Approach
Presented by Chris Murphy at the Second IEEE International Conference on Software Testing, Verification and Validation (ICST) on April 2, 2009
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
BibTexType = inproceedings
author = “Christian Murphy, Kuang Shen and Gail Kaiser”,
title = “Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles”,
bootktile = “Proc. of the Second IEEE International Conference on Software Testing, Verification and Validation (ICST)”,
pages = “436-445”,
month = “April”,
year = “2009”
Quality Assurance of Software Applications using the In Vivo Testing Approach
BibTexType = inproceedings
author = “Christian Murphy, Gail Kaiser, Ian Vo and Matt Chu”,
title = “Quality Assurance of Software Applications using the In Vivo Testing Approach”,
bootktile = “Proc. of the Second IEEE International Conference on Software Testing, Verification and Validation (ICST)”,
pages = “111-120”,
month = “April”,
year = “2009”
Retina: Helping Students and Instructors Based on Observed Programming Activities
Presented by Chris Murphy at the 40th SIGCSE technical symposium on computer science education on March 5, 2009
Retina: Helping Students and Instructors Based on Observed Programming Activities
BibTexType = inproceedings
author = “Christian Murphy, Gail Kaiser, Kristin Loveland and Sahar Hasan”,
title = “Retina: Helping Students and Instructors Based on Observed Programming Activities”,
bootktile = “Proc. of the 40th SIGCSE technical symposium on computer science education”,
pages = “178-182”,
month = “March”,
year = “2009”
Using Runtime Testing to Detect Defects in Applications without Test Oracles
Presented by Chris Murphy at the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-16) Doctoral Symposium on Nov 10, 2008
genSpace: Exploring Social Networking Metaphors for Knowledge Sharing and Scientific Collaborative Work
Presented by Chris Murphy at the First International Workshop on Social Software Engineering and Applications (SoSEA) on Sep 15, 2008