|
|
 |
|
RECENT PUBLICATIONS (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
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"
|
|
|
