bachelor.bib

@inproceedings{diekmann2013parsing,
  title={Parsing composed grammars with language boxes},
  author={Diekmann, Lukas and Tratt, Laurence},
  booktitle={Workshop on Scalable Language Specifications},
  year={2013}
}
@article{Nah04,
  author    = {Fiona Fui-Hoon Nah},
  title     = {A study on tolerable waiting time: how long are Web users
               willing to wait?},
  journal   = {Behaviour {\&} IT},
  volume    = {23},
  number    = {3},
  year      = {2004},
  pages     = {153-163},
  ee        = {http://dx.doi.org/10.1080/01449290410001669914},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{Plattner:2013:CID:2490529,
 author = {Plattner, Hasso},
 title = {A Course in In-Memory Data Management: The Inner Mechanics of In-Memory Databases},
 year = {2013},
 isbn = {364236523X, 9783642365232},
 publisher = {Springer Publishing Company, Incorporated},
}
@book{plattner_-memory_2012,
	edition = {Auflage: 2},
	title = {In-Memory Data Management: Technology and Applications},
	shorttitle = {In-Memory Data Management},
	language = {Englisch},
	publisher = {Springer Berlin Heidelberg},
	author = {Plattner, Hasso and Zeier, Alexander},
	month = apr,
	year = {2012}
}


%AGENDA
@inproceedings{Chays:2008:QTG:1385269.1385277,
 author = {Chays, David and Shahid, John and Frankl, Phyllis G.},
 title = {Query-based Test Generation for Database Applications},
 booktitle = {Proceedings of the 1st International Workshop on Testing Database Systems},
 series = {DBTest '08},
 year = {2008},
 isbn = {978-1-60558-233-7},
 location = {Vancouver, British Columbia, Canada},
 pages = {6:1--6:6},
 articleno = {6},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/1385269.1385277},
 doi = {10.1145/1385269.1385277},
 acmid = {1385277},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {database, software testing},
}
@inproceedings{Deng:2005:TDT:1062455.1062486,
 author = {Deng, Yuetang and Frankl, Phyllis and Chays, David},
 title = {Testing Database Transactions with AGENDA},
 booktitle = {Proceedings of the 27th International Conference on Software Engineering},
 series = {ICSE '05},
 year = {2005},
 isbn = {1-58113-963-2},
 location = {St. Louis, MO, USA},
 pages = {78--87},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1062455.1062486},
 doi = {10.1145/1062455.1062486},
 acmid = {1062486},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {database, software testing, transaction},
}
@article{Chays:2004:ATR:1077269.1077271,
 author = {Chays, David and Deng, Yuetang and Frankl, Phyllis G. and Dan, Saikat and Vokolos, Filippos I. and Weyuker, Elaine J.},
 title = {An AGENDA for Testing Relational Database Applications: Research Articles},
 journal = {Softw. Test. Verif. Reliab.},
 issue_date = {March 2004},
 volume = {14},
 number = {1},
 month = mar,
 year = {2004},
 issn = {0960-0833},
 pages = {17--44},
 numpages = {28},
 url = {http://dx.doi.org/10.1002/stvr.v14:1},
 doi = {10.1002/stvr.v14:1},
 acmid = {1077271},
 publisher = {John Wiley and Sons Ltd.},
 address = {Chichester, UK},
 keywords = {database, software testing, test data},
}
@phdthesis{Chays:2004:TDG:997669,
 author = {Chays, D.},
 advisor = {Frankl, Phyllis},
 title = {Test Data Generation for Relational Database Applications},
 year = {2004},
 note = {AAI3115007},
 publisher = {Polytechnic University},
 address = {Brooklyn, NY, USA},
}
@inproceedings{Chays:2000:FTD:347324.348954,
 author = {Chays, David and Dan, Saikat and Frankl, Phyllis G. and Vokolos, Filippos I. and Weber, Elaine J.},
 title = {A Framework for Testing Database Applications},
 booktitle = {Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis},
 series = {ISSTA '00},
 year = {2000},
 isbn = {1-58113-266-2},
 location = {Portland, Oregon, USA},
 pages = {147--157},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/347324.348954},
 doi = {10.1145/347324.348954},
 acmid = {348954},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {database, software testing, test data},
} 

% Pex
@inproceedings{Pan:2011:GPI:2190078.2190154,
 author = {Pan, Kai and Wu, Xintao and Xie, Tao},
 title = {Generating Program Inputs for Database Application Testing},
 booktitle = {Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering},
 series = {ASE '11},
 year = {2011},
 isbn = {978-1-4577-1638-6},
 pages = {73--82},
 numpages = {10},
 url = {http://dx.doi.org/10.1109/ASE.2011.6100152},
 doi = {10.1109/ASE.2011.6100152},
 acmid = {2190154},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}
@inproceedings{Pan:2011:DSG:1988842.1988846,
 author = {Pan, Kai and Wu, Xintao and Xie, Tao},
 title = {Database State Generation via Dynamic Symbolic Execution for Coverage Criteria},
 booktitle = {Proceedings of the Fourth International Workshop on Testing Database Systems},
 series = {DBTest '11},
 year = {2011},
 isbn = {978-1-4503-0655-3},
 location = {Athens, Greece},
 pages = {4:1--4:6},
 articleno = {4},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/1988842.1988846},
 doi = {10.1145/1988842.1988846},
 acmid = {1988846},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {coverage criteria, database state generation, dynamic symbolic execution},
}
@inproceedings{Tillmann:2008:PWB:1792786.1792798,
 author = {Tillmann, Nikolai and De Halleux, Jonathan},
 title = {Pex: White Box Test Generation for .NET},
 booktitle = {Proceedings of the 2Nd International Conference on Tests and Proofs},
 series = {TAP'08},
 year = {2008},
 isbn = {3-540-79123-X, 978-3-540-79123-2},
 location = {Prato, Italy},
 pages = {134--153},
 numpages = {20},
 url = {http://dl.acm.org/citation.cfm?id=1792786.1792798},
 acmid = {1792798},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

% DSE
@inproceedings{Cadar:2006:EAG:1180405.1180445,
 author = {Cadar, Cristian and Ganesh, Vijay and Pawlowski, Peter M. and Dill, David L. and Engler, Dawson R.},
 title = {EXE: Automatically Generating Inputs of Death},
 booktitle = {Proceedings of the 13th ACM Conference on Computer and Communications Security},
 series = {CCS '06},
 year = {2006},
 isbn = {1-59593-518-5},
 location = {Alexandria, Virginia, USA},
 pages = {322--335},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1180405.1180445},
 doi = {10.1145/1180405.1180445},
 acmid = {1180445},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {attack generation, bug finding, constraint solving, dynamic analysis, symbolic execution, test case generation},
} 
@inproceedings{Godefroid:2005:DDA:1065010.1065036,
 author = {Godefroid, Patrice and Klarlund, Nils and Sen, Koushik},
 title = {DART: Directed Automated Random Testing},
 booktitle = {Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '05},
 year = {2005},
 isbn = {1-59593-056-6},
 location = {Chicago, IL, USA},
 pages = {213--223},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1065010.1065036},
 doi = {10.1145/1065010.1065036},
 acmid = {1065036},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {automated test generation, interfaces, program verification, random testing, software testing},
}
@article{DBLP:journals/cacm/King76,
  author    = {James C. King},
  title     = {Symbolic Execution and Program Testing},
  journal   = {Commun. ACM},
  volume    = {19},
  number    = {7},
  year      = {1976},
  pages     = {385-394},
  ee        = {http://doi.acm.org/10.1145/360248.360252},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%BVC
@inproceedings{DBLP:conf/issre/KosmatovLPU04,
  author    = {Nikolai Kosmatov and
               Bruno Legeard and
               Fabien Peureux and
               Mark Utting},
  title     = {Boundary Coverage Criteria for Test Generation from Formal
               Models},
  booktitle = {ISSRE},
  year      = {2004},
  pages     = {139-150},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.12},
  crossref  = {DBLP:conf/issre/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%LC
@inproceedings{DBLP:conf/issre/AmmannOH03,
  author    = {Paul Ammann and
               A. Jefferson Offutt and
               Hong Huang},
  title     = {Coverage Criteria for Logical Expressions},
  booktitle = {ISSRE},
  year      = {2003},
  pages     = {99-107},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2003.1251034},
  crossref  = {DBLP:conf/issre/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%Terminology
@book{DBLP:books/daglib/0006733,
  author    = {Ramez Elmasri and
               Shamkant B. Navathe},
  title     = {Fundamentals of Database Systems, 3rd Edition},
  publisher = {Addison-Wesley-Longman},
  year      = {2000},
  isbn      = {978-0-8053-1755-8},
  pages     = {I-XXVII, 1-955},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:dblp_journals/sigmod/FarberCPBSL11,
   author              = {Franz Färber and 
                          Sang Kyun Cha and 
                          Jürgen Primsch and 
                          Christof Bornhövd and 
                          Stefan Sigg and 
                          Wolfgang Lehner},
   title               = {SAP HANA database: data management for modern business applications.},
   journal             = {SIGMOD Record},
   year                = {2011},
   pages               = {45-51},
   ee                  = {http://doi.acm.org/10.1145/2094114.2094126},
}
@book{DBLP:books/aw/DateD97,
  author    = {C. J. Date and
               Hugh Darwen},
  title     = {A Guide to SQL Standard, 4th Edition},
  publisher = {Addison-Wesley},
  year      = {1997},
  isbn      = {0-201-96426-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{Codd:1970:RMD:362384.362685,
 author = {Codd, E. F.},
 title = {A Relational Model of Data for Large Shared Data Banks},
 journal = {Commun. ACM},
 issue_date = {June 1970},
 volume = {13},
 number = {6},
 month = jun,
 year = {1970},
 issn = {0001-0782},
 pages = {377--387},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/362384.362685},
 doi = {10.1145/362384.362685},
 acmid = {362685},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {composition, consistency, data bank, data base, data integrity, data organization, data structure, derivability, hierarchies of data, join, networks of data, predicate calculus, redundancy, relations, retrieval language, security},
} 
@article{SIIA,
  added-at = {2008-04-23T12:05:55.000+0200},
  author = {et al., Fred Hoch},
  biburl = {http://www.bibsonomy.org/bibtex/27d93f43a6829ab33c7cfdedd15c9260d/om3ga},
  editor = {SIIA},
  interhash = {a791d344e28fd6573bd1bbb48e43de6c},
  intrahash = {7d93f43a6829ab33c7cfdedd15c9260d},
  keywords = {lv_crossmedia_3},
  timestamp = {2008-04-23T12:05:55.000+0200},
  title = {Software as a Service: Strategic Backgrounder},
  url = {http://www.siia.net/estore/ssb-01.pdf},
  year = 2000
}
@article{Chen:1976:EMU:320434.320440,
 author = {Chen, Peter Pin-Shan},
 title = {The Entity-relationship Model\&Mdash;Toward a Unified View of Data},
 journal = {ACM Trans. Database Syst.},
 issue_date = {March 1976},
 volume = {1},
 number = {1},
 month = mar,
 year = {1976},
 issn = {0362-5915},
 pages = {9--36},
 numpages = {28},
 url = {http://doi.acm.org/10.1145/320434.320440},
 doi = {10.1145/320434.320440},
 acmid = {320440},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Data Base Task Group, data definition and manipulation, data integrity and consistency, data models, database design, entity set model, entity-relationship model, logigcal view of data, network model, relational model, semantics of data},
} 


% Misc
@inproceedings{DBLP:conf/dasfaa/HarangsriSN97,
  author    = {Banchong Harangsri and
               John Shepherd and
               Anne H. H. Ngu},
  title     = {Query Size Estimation Using Machine Learning},
  booktitle = {DASFAA},
  year      = {1997},
  pages     = {97-106},
  crossref  = {DBLP:conf/dasfaa/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Taneja:2010:MAT:1858996.1859053,
 author = {Taneja, Kunal and Zhang, Yi and Xie, Tao},
 title = {MODA: Automated Test Generation for Database Applications via Mock Objects},
 booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering},
 series = {ASE '10},
 year = {2010},
 isbn = {978-1-4503-0116-9},
 location = {Antwerp, Belgium},
 pages = {289--292},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/1858996.1859053},
 doi = {10.1145/1858996.1859053},
 acmid = {1859053},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {database application, mock object, test generation},
} 

% Bachelorarbeiten
@Mastersthesis{Mues2014,
  type = {Bachelorarbeit},
  author = {Malte Mues},
  title = {{Vorhersage von SQL-Query-Charakteristika unter Verwendung von Machine Learning}},
  school = {Hasso-Plattner-Institut},
  year = {2014},
}

@Mastersthesis{Exner2014,
  type = {Bachelorarbeit},
  author = {Moritz Exner},
  title = {{Abschätzung von Query Ergebnissen und Laufzeiten während der Implementierungsphase mit Hilfe von Sampling}},
  school = {Hasso-Plattner-Institut},
  year = {2014},
}

@Mastersthesis{Schulz2014,
  type = {Bachelorarbeit},
  author = {Jasper Schulz},
  title = {{Parsing and Merging Partial, Dynamic HANA SQL Queries}},
  school = {Hasso-Plattner-Institut},
  year = {2014},
}

@Mastersthesis{Horschig2014,
  type = {Bachelorarbeit},
  author = {Friedrich Horschig},
  title = {{Direkte Integration von SQL in JavaScript}},
  school = {Hasso-Plattner-Institut},
  year = {2014},
}

@Mastersthesis{Frahnow2014,
  type = {Bachelorarbeit},
  author = {Clemens Frahnow},
  title = {{Entwickeln von Performance-Bewusstsein --- Ein Benutzeroberflächen-Konzept für sofortiges Performance-Feedback}},
  school = {Hasso-Plattner-Institut},
  year = {2014},
}