- @string{acj = {Australian Computer Journal}}
- @string{acmcsur = {ACM Computing Surveys}}
- @string{acmq = {ACM Queue}}
- @string{acmtocs = {ACM Transactions on Computing Systems}}
- @string{acmtods = {ACM Transactions on Database Systems}}
- @string{acmtois = {ACM Transactions on Information Systems}}
- @string{acmtoit = {ACM Transactions on Internet Technology}}
- @string{acmtosem = {ACM Transactions on Software Engineering and Methodology}}
- @string{acmtosn = {ACM Transactions on Sensor Networks}}
- @string{acmtweb = {ACM Transactions on the Web}}
- @string{adt = {Application Development Trends}}
- @string{ai = {Artificial Intelligence}}
- @string{ajis = {Australasian Journal of Information Systems}}
- @string{basist = {Bulletin of the American Society for Information Science and Technology}}
- @string{bit = {Behaviour {\&} Information Technology}}
- @string{byte = {B{YTE}}}
- @string{cacm = {Communications of the ACM}}
- @string{ccis = {Communications in Computer and Information Science}}
- @string{cj = {The Computer Journal}}
- @string{crpit = {Conferences in Research and Practice in Information Techology}}
- @string{database = {ACM SIGMIS Database}}
- @string{dbj = {Database Journal}}
- @string{dbms = {DBMS Magazine}}
- @string{dbpd = {Database Programming {\&} Design}}
- @string{ddj = {Dr. Dobb's Journal}}
- @string{develop = {{d}evelop, The Apple Technical Journal}}
- @string{directions = {Apple Directions}}
- @string{dke = {Data {\&} Knowledge Engineering}}
- @string{dlib = {D-Lib Magazine}}
- @string{ejis = {European Journal of Information Systems}}
- @string{fm = {First Monday}}
- @string{hbr = {Harvard Business Review}}
- @string{ibmjrd = {IBM Journal of Research and Development}}
- @string{ibmsj = {IBM Systems Journal}}
- @string{idt = {Internet Development Trends}}
- @string{ieeeahc = {IEEE Annals of the History of Computing}}
- @string{ieeec = {IEEE Computer}}
- @string{ieeedeb = {IEEE Data Engineering Bulletin}}
- @string{ieeeic = {IEEE Internet Computing}}
- @string{ieeeis = {IEEE Intelligent Systems}}
- @string{ieeepc = {IEEE Pervasive Computing}}
- @string{ieees = {IEEE Software}}
- @string{ieeesp = {IEEE Spectrum}}
- @string{ieeetnn = {IEEE Transactions on Neural Networks}}
- @string{ieeetse = {IEEE Transactions on Software Engineering}}
- @string{ijast = {International Journal of Applied Software Technology}}
- @string{ijcatr = {International Journal of Computer Applications Technology and Research}}
- @string{ijgis = {International Journal of Geographical Information Science}}
- @string{ijgisold = {International Journal of Geographical Information Systems}}
- @string{ijhcs = {International Journal of Human-Computer Studies}}
- @string{ijmms = {International Journal of Man-Machine Studies}}
- @string{ijseke = {International Journal of Software Engineering and Knowledge Engineering}}
- @string{ijswis = {International Journal on Semantic Web and Information Systems}}
- @string{ijwet = {International Journal of Web Engineering and Technology}}
- @string{ipm = {Information Processing and Management}}
- @string{is = {Information Systems}}
- @string{isedj = {Information Systems Education Journal}}
- @string{isj = {Information Systems Journal}}
- @string{ist = {Information and Software Technology}}
- @string{jacm = {Journal of the ACM}}
- @string{jasist = {Journal of the American Society for Information Science and Technology}}
- @string{jdim = {Journal of Digital Information Management}}
- @string{jdmm = {Journal of Digital Media Management}}
- @string{jiis = {Journal of Intelligent Information Systems}}
- @string{jlp = {Journal of Logic Programming}}
- @string{jodi = {Journal of Digital Information}}
- @string{jot = {Journal of Object Technology}}
- @string{jrpit = {Journal of Research and Practice in Information Technology}}
- @string{jss = {The Journal of Systems and Software}}
- @string{lncs = {Lecture Notes in Computer Science}}
- @string{misq = {MIS Quarterly}}
- @string{nzjc = {New Zealand Journal of Computing}}
- @string{nzjis = {New Zealand Journal of Information Systems}}
- @string{nzlimj = {New Zealand Library {\&} Information Management Journal}}
- @string{oracle = {Oracle Magazine}}
- @string{oss = {OCLC Systems {\&} Services: International Digital Library Perspectives}}
- @string{pcbi = {PLoS Computational Biology}}
- @string{pnas = {Proceedings of the National Academy of Sciences of the United States of America}}
- @string{pvldb = {Proceedings of the VLDB Endowment}}
- @string{sciam = {Scientific American}}
- @string{sej = {Software Engineering Journal}}
- @string{sigmetrics = {ACM SIGMETRICS Performance Evaluation Review}}
- @string{sigmod = {ACM SIGMOD Record}}
- @string{sigplan = {ACM SIGPLAN Notices}}
- @string{sigsoft = {ACM SIGSOFT Software Engineering Notes}}
- @string{spe = {Software---Practice and Experience}}
- @string{swj = {Semantic Web}}
- @string{tkde = {IEEE Transactions on Knowledge and Data Engineering}}
- @string{vldb = {The VLDB Journal}}
-
-
- @online{Ambler.S-2006a-Database,
- Author = {Scott W. Ambler},
- Howpublished = {Essay, Agile Data web site},
- Lastaccessed = {2017-07-20},
- Title = {Database testing: {H}ow to regression test a relational database},
- Url = {http://www.agiledata.org/essays/databaseTesting.html},
- Year = {2006}}
-
- @manual{Apache-2017a-CQL,
- Address = {Forest Hill, Maryland, USA},
- Author = {{Apache Software Foundation}},
- Booktitle = {The Cassandra Query Language (CQL)},
- Edition = {v3.4.0},
- Lastaccessed = {2017-07-20},
- Month = jun,
- Title = {Cassandra Query Language (CQL) documentation},
- Url = {http://cassandra.apache.org/doc/old/CQL-3.0.html},
- Year = {2017}}
-
- @manual{Apache-2017a-Hive,
- Address = {Forest Hill, Maryland, USA},
- Author = {{Apache Software Foundation}},
- Booktitle = {Hive Language Manual},
- Month = jun,
- Title = {Hive Language Manual},
- Url = {https://cwiki.apache.org/confluence/display/Hive/LanguageManual},
- Lastaccessed = {2017-07-20},
- Year = {2017}}
-
- @article{Bench-Capon.T-1998a-Report,
- Author = {T. Bench-Capon and D. Castelli and F. Coenen and L. Devendeville-Brisoux and B. Eaglestone and N. Fiddian and A. Gray and A. Ligeza and A. Vermesan},
- Journal = {Information Research},
- Month = oct,
- Number = {2},
- Articleno = {7},
- Title = {Report on the 1st {I}nternational {W}orkshop on {V}alidation, {V}erification and {I}ntegrity {I}ssues of {E}xpert and {D}atabase {S}ystems},
- Url = {http://www.informationr.net/ir/4-3/paper55.html},
- Volume = {4},
- Year = {1998}}
-
- @inproceedings{Bhangdiya.A-2015a-XDa-TA,
- Author = {Amol Bhangdiya and Bikash Chandra and Biplab Kar and Bharath Radhakrishnan and K. V. Maheshwara Reddy and Shetal Shah and S. Sudarshan},
- Crossref = {Gehrke.J-2015a-ICDE},
- Pages = {1468--1471},
- Doi = {10.1109/ICDE.2015.7113403},
- Title = {The {XDa-TA} system for automated grading of {SQL} query assignments}}
-
- @inproceedings{Binnig.C-2008a-Multi-RQP,
- Articleno = {5},
- Author = {Carsten Binnig and Donald Kossmann and Eric Lo},
- Crossref = {Giakoumakis.L-2008a-DBTest},
- Doi = {10.1145/1385269.1385276},
- Isbn = {978-1-60558-233-7},
- Title = {Multi-{RQP}: {G}enerating test databases for the functional testing of {OLTP} applications}}
-
- @book{Cattell.R-2000a-ODMG3,
- Address = {San Francisco, California, USA},
- Author = {R. G. G. Cattell and Douglas K. Barry and Mark Berler and Jeff Eastman and David Jordan and Craig Russell and Olaf Schadow and Torsten Stanienda and Fernando Velez},
- Booktitle = {The Object Database Standard: ODMG 3.0},
- Isbn = {978-1-55860-647-5},
- Publisher = {Morgan Kaufmann},
- Title = {The Object Database Standard: ODMG 3.0},
- Year = {2000}}
-
- @article{Chandra.B-2015a-Data,
- Author = {Bikash Chandra and Bhupesh Chawda and Biplab Kar and K. V. Maheshwara Reddy and Shetal Shah and S. Sudarshan},
- Journal = vldb,
- Month = dec,
- Number = {6},
- Pages = {731--755},
- Title = {Data generation for testing and grading {SQL} queries},
- Volume = {24},
- Doi = {10.1007/s00778-015-0395-0},
- Year = {2015}}
-
- @article{Chandra.B-2016a-Partial,
- Author = {Bikash Chandra and Mathew Joseph and Bharath Radhakrishnan and Shreevidhya Acharya and S. Sudarshan},
- Journal = pvldb,
- Month = sep,
- Number = {13},
- Pages = {1541--1544},
- Title = {Partial marking for automated grading of {SQL} queries},
- Volume = {9},
- Doi = {10.14778/3007263.3007304},
- Year = {2016}}
-
- @inproceedings{Chays.D-2008a-Query-based,
- Articleno = {6},
- Author = {David Chays and John Shahid and Phyllis G. Frankl},
- Crossref = {Giakoumakis.L-2008a-DBTest},
- Doi = {10.1145/1385269.1385277},
- Isbn = {978-1-60558-233-7},
- Keywords = {database, software testing},
- Title = {Query-based test generation for database applications}}
-
- @techreport{Choppella.V-2006a-Constructing,
- Address = {Bloomington, Indiana, USA},
- Author = {Venkatesh Choppella and Arijit Sengupta and Edward L. Robertson and Steven D, Johnson},
- Institution = {Indiana University, School of Informatics and Computing},
- Month = apr,
- Number = {TR632},
- Title = {Constructing and Validating entity-relationship data models in the {PVS} specification language: {A} case study using a text-book example},
- Type = {Technical report},
- Url = {https://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR632},
- Year = {2006}}
-
- @inproceedings{Dekeyser.S-2007a-Computer,
- Author = {Stijn Dekeyser and Michael de Raadt and Tien Yu Lee},
- Crossref = {Bailey.J-2007a-ADC},
- Pages = {53--62},
- Url = {http://dl.acm.org/citation.cfm?id=1273730.1273737},
- Title = {Computer assisted assessment of SQL query skills}}
-
- @inproceedings{Dietrich.S-1997a-WinRDBI,
- Author = {Suzanne W. Dietrich and Eric Eckert and Kevin Piscator},
- Crossref = {Lewis.J-1998a-SIGCSE},
- Doi = {10.1145/268085.268131},
- Pages = {126--130},
- Title = {{WinRDBI}: {A} {W}indows-based relational database educational tool}}
-
- @inproceedings{Farre.C-2008a-SVTe,
- Articleno = {9},
- Author = {Carles Farr{\'e} and Guillem Rull and Ernest Teniente and Toni Urp{\'\i}},
- Crossref = {Giakoumakis.L-2008a-DBTest},
- Doi = {10.1145/1385269.1385281},
- Isbn = {978-1-60558-233-7},
- Title = {{SVTe}: {A} tool to validate database schemas giving explanations}}
-
- @online{Gong.A-2015a-CS-121-Automation,
- Author = {Angela Gong},
- Lastaccessed = {2017-07-20},
- Month = oct,
- Title = {CS 121 Automation Tool},
- Url = {https://github.com/anjoola/cs12x-automate},
- Year = {2015}}
-
- @inproceedings{Haller.K-2010a-Test,
- Articleno = {6},
- Author = {Klaus Haller},
- Crossref = {Babu.S-2010a-DBTest},
- Doi = {10.1145/1838126.1838132},
- Keywords = {databases, information systems, test coverage, test data, testing},
- Title = {The test data challenge for database-driven applications}}
-
- @inproceedings{Kearns.R-1997a-A-teaching,
- Author = {R. Kearns and Stephen Shead and Alan Fekete},
- Crossref = {Sondergaard.H-1997a-ACSE},
- Doi = {10.1145/299359.299391},
- Pages = {224--231},
- Title = {A teaching system for {SQL}}}
-
- @inproceedings{Kenny.C-2005a-Automated,
- Author = {Claire Kenny and Claus Pahl},
- Crossref = {Dann.W-2005a-SIGCSE},
- Pages = {58--62},
- Doi = {10.1145/1047124.1047377},
- Title = {Automated tutoring for a database skills training environment}}
-
- @inproceedings{Kleiner.C-2013a-Automated,
- Author = {Carsten Kleiner and Christopher Tebbe and Felix Heine},
- Crossref = {Laakso.M-2013a-KoliCalling},
- Pages = {161--168},
- Doi = {10.1145/2526968.2526986},
- Title = {Automated grading and tutoring of {SQL} statements to improve student learning}}
-
- @inproceedings{Lukovic.I-2003a-Proceedings,
- Author = {Ivan Lukovi{\'c} and Sonja Risti{\'c} and Pavle Mogin},
- Crossref = {SISY-2003a-Proceedings},
- Pages = {125--136},
- Title = {On the formal specification of database schema constraints},
- Url = {http://www.mcs.vuw.ac.nz/~pmogin/SISY_2003.pdf}}
-
- @inproceedings{Marcozzi.M-2012a-Test,
- Articleno = {6},
- Author = {Micha{\"e}l Marcozzi and Wim Vanhoof and Jean-Luc Hainaut},
- Crossref = {Lo.E-2012a-DBTest},
- Doi = {10.1145/2304510.2304518},
- Isbn = {978-1-4503-1429-9},
- Title = {Test input generation for database programs using relational constraints}}
-
- @inproceedings{Mitrovic.A-1998a-Learning,
- Author = {Antonija Mitrovic},
- Crossref = {Lewis.J-1998a-SIGCSE},
- Doi = {10.1145/274790.274318},
- Pages = {307--311},
- Title = {Learning {SQL} with a computerized tutor}}
-
- @inproceedings{Prior.J-2004a-Backwash,
- Author = {Julia Coleman Prior and Raymond Lister},
- Crossref = {Boyle.R-2004a-ITiCSE},
- Pages = {32--36},
- Doi = {10.1145/1026487.1008008},
- Title = {The backwash effect on {SQL} skills grading}}
-
- @inproceedings{Russell.G-2004a-Improving,
- Author = {Gordon Russell and Andrew Cumming},
- Crossref = {Kinshuk-2004a-CELDA},
- Pages = {281--288},
- Url = {http://www.napier.ac.uk/research-and-innovation/research-search/outputs/improving-the-student-learning-experience-for-sql-using-automatic-marking},
- Title = {Improving the student learning experience for {SQL} using automatic marking}}
-
- @inproceedings{Russell.G-2005a-Online,
- Author = {Gordon Russell and Andrew Cumming},
- Crossref = {OReilly.U-2005a-TLAD},
- Pages = {46--50},
- Url = {http://www.napier.ac.uk/research-and-innovation/research-search/outputs/online-assessment-and-checking-of-sql-detecting-and-preventing-plagiarism},
- Title = {Online assessment and checking of {SQL}: {D}etecting and preventing plagiarism}}
-
- @inproceedings{Sadiq.S-2004a-SQLator,
- Author = {Shazia Wasim Sadiq and Maria E. Orlowska and Wasim Sadiq and Joe Y.-C. Lin},
- Crossref = {Boyle.R-2004a-ITiCSE},
- Pages = {223--227},
- Doi = {10.1145/1026487.1008055},
- Title = {{SQLator}: {A}n online {SQL} learning workbench}}
-
- @article{Spivey.J-1989a-An-introduction,
- Author = {J.M. Spivey},
- Doi = {10.1049/sej.1989.0006},
- Journal = sej,
- Month = jan,
- Number = {1},
- Pages = {40--50},
- Title = {An introduction to {Z} and formal specifications},
- Volume = {4},
- Year = {1989}}
-
- @article{Vatanawood.W-2004a-Formal,
- Author = {Wiwat Vatanawood and Wanchai Rivepiboon},
- Doi = {10.1002/int.10159},
- Journal = {International Journal of Intelligent Systems},
- Month = jan # {--} # feb,
- Number = {1--2},
- Pages = {159--175},
- Title = {Formal specification synthesis for relational database model},
- Volume = {19},
- Year = {2004}}
-
-
- # Crossrefs
-
- @proceedings{Babu.S-2010a-DBTest,
- Address = {Indianapolis, Indiana, USA},
- Booktitle = {Proceedings of the 3rd International Workshop on Testing Database Systems (DBTest 2010)},
- Editor = {Shivnath Babu and G. N. Paulley},
- Isbn = {978-1-4503-0190-9},
- Month = jun # {~7},
- Publisher = {ACM},
- Title = {Proceedings of the 3rd International Workshop on Testing Database Systems (DBTest 2010)},
- Year = {2010}}
-
- @proceedings{Bailey.J-2007a-ADC,
- Address = {Ballarat, Victoria, Australia},
- Editor = {James Bailey and Alan Fekete},
- Month = jan # {~29--} # feb # {~2},
- Publisher = {Australian Computer Society},
- Booktitle = {Database Technologies 2007, Proceedings of the 18th Australasian Database Conference (ADC 2007)},
- Title = {Database Technologies 2007, Proceedings of the 18th Australasian Database Conference (ADC 2007)},
- Volume = {63},
- Year = {2007}}
-
- @proceedings{Boyle.R-2004a-ITiCSE,
- Address = {Leeds, UK},
- Editor = {Roger D. Boyle and Martyn Clark and Amruth N. Kumar},
- Month = jun # {~28--30},
- Publisher = {ACM},
- Booktitle = {Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2004)},
- Title = {Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2004)},
- Year = {2004}}
-
- @proceedings{Dann.W-2005a-SIGCSE,
- Address = {St. Louis, Missouri, USA},
- Editor = {Wanda Dann and Thomas L. Naps and Paul T. Tymann and Doug Baldwin},
- Month = feb # {~23--27},
- Publisher = {ACM},
- Booktitle = {Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education (SIGCSE 2005)},
- Title = {Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education (SIGCSE 2005)},
- Year = {2005}}
-
- @proceedings{Gehrke.J-2015a-ICDE,
- Address = {Seoul, South Korea},
- Editor = {Johannes Gehrke and Wolfgang Lehner and Kyuseok Shim and Sang Kyun Cha and Guy M. Lohman},
- Month = apr # {~13--17},
- Publisher = {IEEE Computer Society},
- Booktitle = {Proceedings of the 31st IEEE International Conference on Data Engineering (ICDE 2015)},
- Title = {Proceedings of the 31st IEEE International Conference on Data Engineering (ICDE 2015)},
- Year = {2015}}
-
- @proceedings{Giakoumakis.L-2008a-DBTest,
- Address = {Vancouver, British Columbia, Canada},
- Booktitle = {Proceedings of the 1st International Workshop on Testing Database Systems (DBTest 2008)},
- Editor = {Leo Giakoumakis and Donald Kossmann},
- Isbn = {978-1-60558-233-7},
- Month = jun # {~13},
- Publisher = {ACM},
- Title = {Proceedings of the 1st International Workshop on Testing Database Systems (DBTest 2008)},
- Year = {2008}}
-
- @proceedings{Kinshuk-2004a-CELDA,
- Address = {Lisbon, Portugal},
- Editor = {{Kinshuk} and Demetrios G. Sampson and Pedro T. Isa{\'\i}as},
- Month = {15--17~} # dec,
- Publisher = {IADIS},
- Booktitle = {Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA'04)},
- Title = {Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA'04)},
- Year = {2004}}
-
- @proceedings{OReilly.U-2005a-TLAD,
- Address = {Sunderland, UK},
- Editor = {Una O'Reilly and Richard Cooper},
- Month = jul,
- Publisher = {LTSN-ICS},
- Booktitle = {Proceedings of the 3rd HEA-ICS Workshop on Teaching Learning and Assessment in Databases (TLAD 2005)},
- Title = {Proceedings of the 3rd HEA-ICS Workshop on Teaching Learning and Assessment in Databases (TLAD 2005)},
- Year = {2005}}
-
- @proceedings{Laakso.M-2013a-KoliCalling,
- Address = {Koli, Finland},
- Editor = {Mikko-Jussi Laakso and {Simon}},
- Month = nov # {~14--17},
- Publisher = {ACM},
- Booktitle = {Proceedings of the 13th Koli Calling International Conference on Computing Education Research (Koli Calling '13)},
- Title = {Proceedings of the 13th Koli Calling International Conference on Computing Education Research (Koli Calling '13)},
- Year = {2013}}
-
- @proceedings{Lewis.J-1998a-SIGCSE,
- Address = {Atlanta, Georgia, USA},
- Booktitle = {Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education (SIGCSE'98)},
- Editor = {John Lewis and Jane Prey and Daniel Joyce and John Impagliazzo},
- Isbn = {0-89791-994-7},
- Month = feb # {~26--} # mar # {~1},
- Publisher = {ACM},
- Title = {Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education (SIGCSE'98)},
- Year = {1998}}
-
- @proceedings{Lo.E-2012a-DBTest,
- Address = {Scottsdale, Arizona, USA},
- Booktitle = {Proceedings of the 5th International Workshop on Testing Database Systems (DBTest 2012)},
- Editor = {Eric Lo and Florian Waas},
- Isbn = {978-1-4503-1429-9},
- Month = may # {~21},
- Publisher = {ACM},
- Title = {Proceedings of the 5th International Workshop on Testing Database Systems (DBTest 2012)},
- Year = {2012}}
-
- @proceedings{SISY-2003a-Proceedings,
- Address = {Subotica, Serbia},
- Booktitle = {Proceedings of the 1st Serbian-Hungarian Joint Symposium on Intelligent Systems (SISY 2003)},
- Month = {19--20~} # sep,
- Title = {Proceedings of the 1st Serbian-Hungarian Joint Symposium on Intelligent Systems (SISY 2003)},
- Year = {2003}}
-
- @proceedings{Sondergaard.H-1997a-ACSE,
- Address = {Melbourne, Victoria, Australia},
- Booktitle = {Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education (ACSE 1997)},
- Editor = {Harald S{\o}ndergaard and A. John Hurst},
- Isbn = {0-89791-958-0},
- Publisher = {ACM},
- Title = {Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education (ACSE 1997)},
- Year = {1997}}