ChapterAutomatedTesting.bib

@article{monya2012,
	Annote = {10.1038/nmeth.1935},
	Author = {Baker, Monya},
	Date = {2012/04//print},
	Date-Added = {2012-09-17 16:07:03 +0000},
	Date-Modified = {2012-09-17 16:07:03 +0000},
	Isbn = {1548-7091},
	Journal = {Nat Meth},
	M3 = {10.1038/nmeth.1935},
	Month = {04},
	Number = {4},
	Pages = {333--337},
	Publisher = {Nature Publishing Group, a division of Macmillan Publishers Limited. All Rights Reserved.},
	Title = {De novo genome assembly: what every biologist should know},
	Ty = {JOUR},
	Url = {http://dx.doi.org/10.1038/nmeth.1935},
	Volume = {9},
	Year = {2012},
	Bdsk-Url-1 = {http://dx.doi.org/10.1038/nmeth.1935}}


@article{BMC,
year={2009},
journal={BMC Bioinformatics},
volume={10},
issue={1},
doi={10.1186/1471-2105-10-24},
title={An innovative approach for testing bioinformatics programs using metamorphic testing},
url={http://dx.doi.org/10.1186/1471-2105-10-24},
publisher={BioMed Central},
author={Chen, Tsong and Ho, JoshuaWK and Liu, Huai and Xie, Xiaoyuan},
pages={1-12},
language={English}
}

@inproceedings{Davis:1981:PNP:800175.809889,
	author={Davis, Martin D and Weyuker, Elaine J},
 title = {Pseudo-oracles for non-testable programs},
 booktitle = {Proceedings of the ACM '81 conference},
 series = {ACM '81},
 year = {1981},
 isbn = {0-89791-049-4},
 pages = {254--257},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/800175.809889},
 doi = {10.1145/800175.809889},
 acmid = {809889},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{McMinn:2009:SFD:1569901.1570127,
 author = {McMinn, Phil},
 title = {Search-based failure discovery using testability transformations to generate pseudo-oracles},
 booktitle = {Proceedings of the 11th Annual conference on Genetic and evolutionary computation},
 series = {GECCO '09},
 year = {2009},
 isbn = {978-1-60558-325-9},
 location = {Montreal, Qu\&\#233;bec, Canada},
 pages = {1689--1696},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1569901.1570127},
 doi = {10.1145/1569901.1570127},
 acmid = {1570127},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {non-testable program, oracle, program transformation, pseudo-oracle, search-based software testing, testability transformation},
}

@article{chen1998metamorphic,
  title={Metamorphic testing: a new approach for generating next test cases},
	author={Chen, Tsong Y and Cheung, Shing C and Yiu, SM},
  journal={Department of Computer Science, Hong Kong University of Science and Technology, Tech. Rep. HKUST-CS98-01},
  year={1998}
}

@phdthesis{Murphy:2010:MTT:1970820,
 author = {Murphy, Christian},
 advisor = {Kaiser, Gail},
 title = {Metamorphic testing techniques to detect defects in applications without test oracles},
 year = {2010},
 isbn = {978-1-124-17880-6},
 note = {AAI3420778},
 publisher = {Columbia University},
 address = {New York, NY, USA},
}

@inproceedings{Murphy:2009:AST:1572272.1572295,
 author = {Murphy, Christian and Shen, Kuang and Kaiser, Gail},
 title = {Automatic system testing of programs without test oracles},
 booktitle = {Proceedings of the eighteenth international symposium on Software testing and analysis},
 series = {ISSTA '09},
 year = {2009},
 isbn = {978-1-60558-338-9},
 location = {Chicago, IL, USA},
 pages = {189--200},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1572272.1572295},
 doi = {10.1145/1572272.1572295},
 acmid = {1572295},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {metamorphic testing, oracle problem, software testing},
}

@inproceedings{Yoo:2010:MTS:1799526.1799581,
 author = {Yoo, Shin},
 title = {Metamorphic Testing of Stochastic Optimisation},
 booktitle = {Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops},
 series = {ICSTW '10},
 year = {2010},
 isbn = {978-0-7695-4050-4},
 pages = {192--201},
 numpages = {10},
 url = {http://dx.doi.org/10.1109/ICSTW.2010.26},
 doi = {10.1109/ICSTW.2010.26},
 acmid = {1799581},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 keywords = {metamorphic testing, stochastic optimisation, search-based software engineering},
}

@article{chan2009pat,
  title={PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs},
	author={Chan, Wing Kwong and Cheung, Shing-Chi and Ho, Jeffrey CF and Tse, TH},
  journal={Journal of Systems and Software},
  volume={82},
  number={3},
  pages={422--434},
  year={2009},
  publisher={Elsevier}
}

@article{Chan:2010:FFP:1815297.1815298,
	author={Chan, Wing Kwong and Ho, Jeffrey CF and Tse, TH},
  title = {Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs},
 journal = {Softw. Test. Verif. Reliab.},
 issue_date = {June 2010},
 volume = {20},
 number = {2},
 month = jun,
 year = {2010},
 issn = {0960-0833},
 pages = {89--120},
 numpages = {32},
 url = {http://dx.doi.org/10.1002/stvr.v20:2},
 doi = {10.1002/stvr.v20:2},
 acmid = {1815298},
 publisher = {John Wiley and Sons Ltd.},
 address = {Chichester, UK},
 keywords = {classification, mesh simplification, metamorphic testing, non-testable software, test oracle problem, testing methodology},
}

@article{Segura:2011:AMT:1937186.1937327,
 author = {Segura, Sergio and Hierons, Robert M. and Benavides, David and Ruiz-Cort{\'e}s, Antonio},
 title = {Automated metamorphic testing on the analyses of feature models},
 journal = {Inf. Softw. Technol.},
 issue_date = {March, 2011},
 volume = {53},
 number = {3},
 month = mar,
 year = {2011},
 issn = {0950-5849},
 pages = {245--258},
 numpages = {14},
 url = {http://dx.doi.org/10.1016/j.infsof.2010.11.002},
 doi = {10.1016/j.infsof.2010.11.002},
 acmid = {1937327},
 publisher = {Butterworth-Heinemann},
 address = {Newton, MA, USA},
 keywords = {Automated analysis, Feature models, Metamorphic testing, Mutation testing, Product lines, Test data generation},
}

@article{Xie:2011:TVM:1942318.1942371,
 author = {Xie, Xiaoyuan and Ho, Joshua W. K. and Murphy, Christian and Kaiser, Gail and Xu, Baowen and Chen, Tsong Yueh},
 title = {Testing and validating machine learning classifiers by metamorphic testing},
 journal = {J. Syst. Softw.},
 issue_date = {April, 2011},
 volume = {84},
 number = {4},
 month = apr,
 year = {2011},
 issn = {0164-1212},
 pages = {544--558},
 numpages = {15},
 url = {http://dx.doi.org/10.1016/j.jss.2010.11.920},
 doi = {10.1016/j.jss.2010.11.920},
 acmid = {1942371},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
 keywords = {Machine learning, Metamorphic testing, Oracle problem, Test oracle, Validation, Verification},
}


@inproceedings{Chen:2002:SIM:566172.566202,
author={Chen, Tsong Yueh and Tse, TH and Zhou, Zhiquan},
  title = {Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing},
 booktitle = {Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis},
 series = {ISSTA '02},
 year = {2002},
 isbn = {1-58113-562-9},
 location = {Roma, Italy},
 pages = {191--195},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/566172.566202},
 doi = {10.1145/566172.566202},
 acmid = {566202},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {global symbolic evaluation, metamorphic testing, program proving, program testing, semi-proving, symbolic execution},
}

@inproceedings{Kim-Park:2010:ATO:1868048.1868050,
 author = {Kim-Park, Dae S. and de la Riva, Claudio and Tuya, Javier},
 title = {An automated test oracle for XML processing programs},
 booktitle = {Proceedings of the First International Workshop on Software Test Output Validation},
 series = {STOV '10},
 year = {2010},
 isbn = {978-1-4503-0138-1},
 location = {Trento, Italy},
 pages = {5--12},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1868048.1868050},
 doi = {10.1145/1868048.1868050},
 acmid = {1868050},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {XML queries, XML-based testing, software testing, test oracles},
}

@inproceedings{Lazic:2005:AMS:1983314.1983364,
 author = {Lazi\'{c}, Ljubomir and Mastorakis, Nikos},
 title = {Applying modeling and simulation to the software testing process: one test oracle solution},
 booktitle = {Proceedings of the 7th WSEAS international conference on Automatic control, modeling and simulation},
 series = {ACMOS'05},
 year = {2005},
 isbn = {960-8457-12-2},
 location = {Prague, Czech Republic},
 pages = {248--256},
 numpages = {9},
 url = {http://dl.acm.org/citation.cfm?id=1983314.1983364},
 acmid = {1983364},
 publisher = {World Scientific and Engineering Academy and Society (WSEAS)},
 address = {Stevens Point, Wisconsin, USA},
 keywords = {simulation, simulation-based test oracle, software testing, test evaluation, validation and verification},
}

@inproceedings{Just:2010:AST:1808266.1808280,
 author = {Just, Ren{\'e} and Schweiggert, Franz},
 title = {Automating software tests with partial oracles in integrated environments},
 booktitle = {Proceedings of the 5th Workshop on Automation of Software Test},
 series = {AST '10},
 year = {2010},
 isbn = {978-1-60558-970-1},
 location = {Cape Town, South Africa},
 pages = {91--94},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/1808266.1808280},
 doi = {10.1145/1808266.1808280},
 acmid = {1808280},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {integration testing, partial oracles, test automation},
}

@inproceedings{Hook:2009:TTS:1556904.1556936,
 author = {Hook, Daniel and Kelly, Diane},
 title = {Testing for trustworthiness in scientific software},
 booktitle = {Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering},
 series = {SECSE '09},
 year = {2009},
 isbn = {978-1-4244-3737-5},
 pages = {59--64},
 numpages = {6},
 url = {http://dx.doi.org/10.1109/SECSE.2009.5069163},
 doi = {10.1109/SECSE.2009.5069163},
 acmid = {1556936},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@inproceedings{Orso:2008:BBR:1401827.1401835,
 author = {Orso, Alessandro and Xie, Tao},
 title = {BERT: BEhavioral Regression Testing},
 booktitle = {Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)},
 series = {WODA '08},
 year = {2008},
 isbn = {978-1-60558-054-8},
 location = {Seattle, Washington},
 pages = {36--42},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/1401827.1401835},
 doi = {10.1145/1401827.1401835},
 acmid = {1401835},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dynamic analysis, regression testing, software evolution},
}


@article{Frounchi:2011:AIS:2038078.2038454,
 author = {Frounchi, Kambiz and Briand, Lionel C. and Grady, Leo and Labiche, Yvan and Subramanyan, Rajesh},
 title = {Automating image segmentation verification and validation by learning test oracles},
 journal = {Inf. Softw. Technol.},
 issue_date = {December, 2011},
 volume = {53},
 number = {12},
 month = dec,
 year = {2011},
 issn = {0950-5849},
 pages = {1337--1348},
 numpages = {12},
 url = {http://dx.doi.org/10.1016/j.infsof.2011.06.009},
 doi = {10.1016/j.infsof.2011.06.009},
 acmid = {2038454},
 publisher = {Butterworth-Heinemann},
 address = {Newton, MA, USA},
 keywords = {Image processing, Image segmentation, Machine learning, Verification and validation},
}

@article{Just:2011:AUI:2036458.2036488,
 author = {Just, Ren{\'e} and Schweiggert, Franz},
 title = {Automating unit and integration testing with partial oracles},
 journal = {Software Quality Control},
 issue_date = {December  2011},
 volume = {19},
 number = {4},
 month = dec,
 year = {2011},
 issn = {0963-9314},
 pages = {753--769},
 numpages = {17},
 url = {http://dx.doi.org/10.1007/s11219-011-9151-x},
 doi = {10.1007/s11219-011-9151-x},
 acmid = {2036488},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 keywords = {Integration testing, Metamorphic testing, Mutation analysis, Partial oracles, Random testing, Test automation},
}


@article{li2009sequence,
  title={The sequence and de novo assembly of the giant panda genome},
	author={Li, Ruiqiang and Fan, Wei and Tian, Geng and Zhu, Hongmei and He, Lin and Cai, Jing and Huang, Quanfei and Cai, Qingle and Li, Bo and Bai, Yinqi and others},
  journal={Nature},
  volume={463},
  number={7279},
  pages={311--317},
  year={2009},
  publisher={Nature Publishing Group}
}


@article{sommer2007minimus,
  title={Minimus: a fast, lightweight genome assembler},
	author={Sommer, Daniel D and Delcher, Arthur L and Salzberg, Steven L and Pop, Mihai},
 journal={BMC bioinformatics},
  volume={8},
  number={1},
  pages={64},
  year={2007},
  publisher={BioMed Central Ltd}
}

@article{medvedev2007computability,
  title={Computability of models for sequence assembly},
  author={Medvedev, P. and Georgiou, K. and Myers, G. and Brudno, M.},
  journal={Algorithms in Bioinformatics},
  pages={289--301},
  year={2007},
  publisher={Springer}
}

@article{hunt2013reapr,
  title={REAPR: a universal tool for genome assembly evaluation},
  author={Hunt, Martin and Kikuchi, Taisei and Sanders, Mandy and Newbold, Chris and Berriman, Matthew and Otto, Thomas D},
  journal={Genome biology},
  volume={14},
  number={5},
  pages={R47},
  year={2013},
  publisher={BioMed Central Ltd}
}

@article{koren2014automated,
  title={Automated ensemble assembly and validation of microbial genomes},
  author={Koren, Sergey and Treangen, Todd J and Hill, Christopher M and Pop, Mihai and Phillippy, Adam M},
  journal={bioRxiv},
  year={2014},
  publisher={Cold Spring Harbor Labs Journals}
}

@article{treangen2011metamos,
  title={MetAMOS: a metagenomic assembly and analysis pipeline for AMOS},
  author={Treangen, Todd J and Koren, Sergey and Astrovskaya, Irina and Sommer, Dan and Liu, Bo and Pop, Mihai},
  journal={Genome Biology},
  volume={12},
  number={1},
  pages={1--27},
  year={2011},
  publisher={Springer}
}
@article{myers1995toward,
  title={Toward simplifying and accurately formulating fragment assembly},
  author={Myers, Eugene W},
  journal={Journal of Computational Biology},
  volume={2},
  number={2},
  pages={275--290},
  year={1995}
}

@article{rahman2013cgal,
  title={CGAL: computing genome assembly likelihoods},
  author={Rahman, Atif and Pachter, Lior},
  journal={Genome biology},
  volume={14},
  number={1},
  pages={R8},
  year={2013},
  publisher={BioMed Central Ltd}
}

@article{clark2013ale,
  title={ALE: a generic assembly likelihood evaluation framework for assessing the accuracy of genome and metagenome assemblies},
  author={Clark, Scott C and Egan, Rob and Frazier, Peter I and Wang, Zhong},
  journal={Bioinformatics},
  volume={29},
  number={4},
  pages={435--443},
  year={2013},
  publisher={Oxford Univ Press}
}

@article{kelley2010quake,
  title={Quake: quality-aware detection and correction of sequencing errors},
  author={Kelley, David R and Schatz, Michael C and Salzberg, Steven L and others},
  journal={Genome Biol},
  volume={11},
  number={11},
  pages={R116},
  year={2010}
}
@article{weyuker1982testing,
  title={On testing non-testable programs},
	author={Weyuker, Elaine J},
  journal={The Computer Journal},
  volume={25},
  number={4},
  pages={465--470},
  year={1982},
  publisher={Br Computer Soc}
}

@article{chen2009innovative,
  title={An innovative approach for testing bioinformatics programs using metamorphic testing},
	Author={Chen, Tsong Y and Ho, Joshua WK and Liu, Huai and Xie, Xiaoyuan},
  journal={BMC bioinformatics},
  volume={10},
  number={1},
  pages={24},
  year={2009},
  publisher={BioMed Central Ltd}
}

@inproceedings{michalakes2004weather,
  title={The weather research and forecast model: Software architecture and performance},
  author={Michalakes, J. and Dudhia, J. and Gill, D. and Henderson, T. and Klemp, J. and Skamarock, W. and Wang, W.},
  booktitle={Proceedings of the 11th ECMWF Workshop on the Use of High Performance Computing In Meteorology},
  volume={25},
  pages={29},
  year={2004},
  organization={World Scientific}
}

@inproceedings{delgado2010performance,
  title={Performance prediction of weather forecasting software on multicore systems},
	author={Delgado, Javier and Sadjadi, S Masoud and Bright, Marlon and Adjouadi, Malek and Duran-Limon, Hector and others},
  booktitle={Parallel \& Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 IEEE International Symposium on},
  pages={1--8},
  year={2010},
  organization={IEEE}
}

@article{roberts2004reducing,
  title={Reducing storage requirements for biological sequence comparison},
	author={Roberts, Michael and Hayes, Wayne and Hunt, Brian R and Mount, Stephen M and Yorke, James A},
	journal={Bioinformatics},
  volume={20},
  number={18},
  pages={3363--3369},
  year={2004},
  publisher={Oxford Univ Press}
}