@string{jeric = {Journal on Educational Resources in Computing}}
@string{sej = {Software Engineering Journal}}
@string{pvldb = {Proceedings of the VLDB Endowment}}
@string{vldb = {The VLDB Journal}}
@online{Ambler.S-2006a-Database,
Author = {Scott W. Ambler},
Howpublished = {Essay, \emph{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) v3.4.0},
Lastaccessed = {2017-07-20},
Month = jun,
Title = {The Cassandra Query Language (CQL) v3.4.0},
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}}
@online{Bergmann.S-2017a-PHPUnit,
Author = {Sebastian Bergmann},
Title = {{PHPUnit} Documentation, Chapter 8: Database Testing},
Url = {https://phpunit.de/manual/current/en/database.html},
Lastaccessed = {2017-07-31},
Year = {2017}}
@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},
Numpages = {6},
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}}
@article{Brusilovsky.P-2010a-Learning,
Articleno = {19},
Author = {Peter Brusilovsky and Sergey Sosnovsky and Michael V. Yudelson and Danielle H. Lee and Vladimir Zadorozhny and Xin Zhou},
Doi = {10.1145.1656255.1656257},
Journal = {ACM Transactions on Computing Education},
Month = jan,
Number = {4},
Title = {Learning {SQL} programming with interactive tools: {F}rom integration to personalization},
Volume = {9},
Numpages = {15},
Year = {2010}}
@inproceedings{Calero.C-2001a-Database,
Author = {Coral Calero and Mario Piattini and Marcela Genero},
Crossref = {Oliveira.J-2001a-QuaTIC},
Pages = {79--85},
Title = {Database complexity metrics},
Url = {http://ceur-ws.org/Vol-1284/paper9.pdf}}
@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},
Numpages = {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}}
@book{Date.C-2009a-SQL-and-Relational,
Author = {Chris J. Date},
Address = {Sebastopol, California, USA},
Booktitle = {SQL and Relational Theory: How to Write Accurate SQL Code},
Edition = {first},
Isbn = {9780596523060},
Publisher = {O'Reilly},
Series = {Theory in Practice},
Title = {SQL and Relational Theory: How to Write Accurate SQL Code},
Year = {2009}}
@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}}
@article{Dietrich.S-1993a-An-educational,
Author = {Suzanne W. Dietrich},
Doi = {10.1080/0899340930040201},
Journal = {Computer Science Education},
Number = {2},
Pages = {157--184},
Title = {An educational tool for formal relational database query languages},
Volume = {4},
Year = {1993}}
@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}}
@article{Douce.C-2005a-Automatic,
Articleno = {4},
Author = {Christopher Douce and David Livingstone and James Orwell},
Doi = {10.1145/1163405.1163409},
Journal = jeric,
Keywords = {education, computer-based training, learning, programming assessment},
Month = sep,
Number = {3},
Title = {Automatic test-based assessment of programming: {A} review},
Volume = {5},
Numpages = {13},
Year = {2005}}
@inproceedings{Farre.C-2008a-SVTe,
Articleno = {9},
Numpages = {6},
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},
Numpages = {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{Jamil.B-2010a-SMARtS,
Articleno = {27},
Author = {Bushra Jamil and Asma Batool},
Crossref = {ICIET-2010a-Proceedings},
Doi = {10.1109/ICIET.2010.5625716},
Numpages = {6},
Title = {{SMARtS}: {S}oftware metric analyzer for relational database systems}}
@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},
Numpages = {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}}
@article{Ohlsson.S-1992a-Constraint-based,
Author = {Stellan Ohlsson},
Journal = {Journal of Artificial Intelligence in Education},
Number = {4},
Pages = {429--447},
Title = {Constraint-based student modelling},
Volume = {3},
Year = {1992}}
@article{Ohlsson.S-2016a-Constraint-based,
Author = {Stellan Ohlsson},
Doi = {10.1007/s40593-015-0075-7},
Journal = {International Journal of Artificial Intelligence in Education},
Number = {1},
Pages = {457--473},
Title = {Constraint-based modeling: {F}rom cognitive theory to computer tutoring -- and back again},
Volume = {26},
Year = {2016}}
@inproceedings{Pavlic.M-2008a-Database,
Author = {Mile Pavli{\'c} and Marin Kalu{\v z}a and Neven Vr{\v c}ek},
Crossref = {Aurer.B-2008a-CECIIS},
Pages = {577--583},
Title = {Database complexity measuring method},
Url = {http://archive.ceciis.foi.hr/app/index.php/ceciis/2008/paper/view/84}}
@article{Piattini.M-2001a-Table,
Author = {Mario Piattini and Coral Calero and Marcela Genero},
Doi = {10.1023/A:1016670717863},
Journal = {Software Quality Journal},
Month = jun,
Number = {2},
Pages = {79--97},
Title = {Table oriented metrics for relational databases},
Volume = {9},
Year = {2001}}
@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{Sinha.B-2014a-Estimation,
Author = {Bhaskar R. Sinha and Gordon W. Romney and Pradip P. Dey and Mohammad N. Amin},
Issn = {1937-4771},
Journal = {Journal of Computing Sciences in Colleges},
Month = dec,
Number = {2},
Pages = {95--104},
Title = {Estimation of database complexity from modeling schemas},
Url = {http://dl.acm.org/citation.cfm?id=2667432.2667445},
Volume = {30},
Year = {2014}}
@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{Aurer.B-2008a-CECIIS,
Address = {Vara{\v z}din, Croatia},
Booktitle = {Proceedings of the 19th Central European Conference on Information and Intelligent Systems (CECIIS 2008)},
Editor = {Boris Aurer and Miroslav Ba{\v c}a and Kornelije Rabuzin},
Isbn = {978-953-6071-04-3},
Month = {24--26~} # sep,
Publisher = {University of Zagreb},
Title = {Proceedings of the 19th Central European Conference on Information and Intelligent Systems (CECIIS 2008)},
Year = {2008}}
@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},
Series = {Conferences in Research and Practice in Information Technology},
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{ICIET-2010a-Proceedings,
Address = {Karachi, Pakistan},
Booktitle = {Proceedings of the 2010 International Conference on Information and Emerging Technologies},
Month = {14--16~} # jun,
Publisher = {IEEE Computer Society},
Title = {Proceedings of the 2010 International Conference on Information and Emerging Technologies},
Year = {2010}}
@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{Oliveira.J-2001a-QuaTIC,
Address = {Lisbon, Portugal},
Booktitle = {Proceedings of the 4th International Conference on the Quality of Information and Communications Technology (QuaTIC 2001)},
Editor = {Jo{\~a}o Nuno Oliveira and Fernando {Brito e Abreu} and Mario Piattini and Carlos Barreiras},
Month = mar # {~12--14},
Series = {CEUR Workshop Proceedings},
Title = {Proceedings of the 4th International Conference on the Quality of Information and Communications Technology (QuaTIC 2001)},
Volume = {1284},
Year = {2001}}
@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,
Publisher = {IEEE Computer Society},
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}}
