diff --git a/papers/eecs444_report/bibliography.bib b/papers/eecs444_report/bibliography.bib index 5888cf9..45890cb 100644 --- a/papers/eecs444_report/bibliography.bib +++ b/papers/eecs444_report/bibliography.bib @@ -1,26 +1,3 @@ -@article{Hwa2004, -author = {Hwa, Rebecca}, -doi = {10.1162/0891201041850894}, -file = {:home/hendersont/stuff/papers/Computational Linguistics/Hwa - 2004 - Sample selection for statistical parsing.pdf:pdf}, -issn = {0891-2017}, -journal = {Computational Linguistics}, -month = sep, -number = {3}, -pages = {253--276}, -publisher = {MIT Press}, -title = {{Sample selection for statistical parsing}}, -url = {http://www.mitpressjournals.org/doi/abs/10.1162/0891201041850894}, -volume = {30}, -year = {2004} -} -@book{Aho2007, -author = {Aho, Alfred and Sethi, Ravi and Lam, Monica S. and Ullman, Jeffery D.}, -booktitle = {Reading, MA,}, -file = {:home/hendersont/stuff/papers/Reading, MA,/Aho et al. - 2007 - Compilers principles, techniques, and tools.pdf:pdf}, -title = {{Compilers: principles, techniques, and tools}}, -url = {http://cacs.usc.edu/education/cs653/CSCI565-Syllabus.pdf}, -year = {2007} -} @article{Papadakis2010, address = {New York, New York, USA}, author = {Papadakis, Mike and Malevris, Nicos and Kallia, Maria}, @@ -34,6 +11,19 @@ @article{Papadakis2010 title = {{Towards automating the generation of mutation tests}}, year = {2010} } +@inproceedings{Harman2010, +author = {Harman, Mark and Jia, Yue and Langdon, William B.}, +booktitle = {2010 Third International Conference on Software Testing, Verification, and Validation Workshops}, +doi = {10.1109/ICSTW.2010.13}, +file = {:home/hendersont/stuff/papers/2010 Third International Conference on Software Testing, Verification, and Validation Workshops/Harman, Jia, Langdon - 2010 - A Manifesto for Higher Order Mutation Testing.pdf:pdf}, +isbn = {978-1-4244-6773-0}, +month = apr, +pages = {80--89}, +publisher = {IEEE}, +title = {{A Manifesto for Higher Order Mutation Testing}}, +url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=5463719 http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5463719}, +year = {2010} +} @article{Purdom1972, author = {Purdom, Paul}, doi = {10.1007/BF01932308}, @@ -198,6 +188,21 @@ @inproceedings{Rohlf2011 url = {http://www.matasano.com/research/jit/}, year = {2011} } +@article{Hwa2004, +author = {Hwa, Rebecca}, +doi = {10.1162/0891201041850894}, +file = {:home/hendersont/stuff/papers/Computational Linguistics/Hwa - 2004 - Sample selection for statistical parsing.pdf:pdf}, +issn = {0891-2017}, +journal = {Computational Linguistics}, +month = sep, +number = {3}, +pages = {253--276}, +publisher = {MIT Press}, +title = {{Sample selection for statistical parsing}}, +url = {http://www.mitpressjournals.org/doi/abs/10.1162/0891201041850894}, +volume = {30}, +year = {2004} +} @article{Cadar2008, author = {Cadar, Cristian and Ganesh, Vijay and Pawlowski, P.M. and Dill, D.L. and Engler, D.R.}, file = {:home/hendersont/stuff/papers/ACM Transactions on Information and System Security (TISSEC)/Cadar et al. - 2008 - EXE automatically generating inputs of death.pdf:pdf}, @@ -310,6 +315,14 @@ @article{Lammel2001 url = {http://www.springerlink.com/index/a799v1rfled2hd2y.pdf}, year = {2001} } +@book{Aho2007, +author = {Aho, Alfred and Sethi, Ravi and Lam, Monica S. and Ullman, Jeffery D.}, +booktitle = {Reading, MA,}, +file = {:home/hendersont/stuff/papers/Reading, MA,/Aho et al. - 2007 - Compilers principles, techniques, and tools.pdf:pdf}, +title = {{Compilers: principles, techniques, and tools}}, +url = {http://cacs.usc.edu/education/cs653/CSCI565-Syllabus.pdf}, +year = {2007} +} @article{Fraser2011, author = {Fraser, Gordon and Zeller, Andreas}, file = {:home/hendersont/stuff/papers/Concrete/Fraser, Zeller - 2011 - Generating Parameterized Unit Tests.pdf:pdf},