• Added Date and Douce references. • Removed unused macro strings. • Added some missing metadata.

nigel.stanger / Publications

Browse code • Added Date and Douce references. • Removed unused macro strings. • Added some missing metadata. DP_2017
1 parent 4685d03 commit 92913ca0778ea4ff128474ba654f759a80e1f40c Nigel Stanger authored on 28 Jul 2017

Patch

Showing 1 changed file

Ignore Space Show notes View Koli_2017/Koli_2017_Stanger.bib
@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, 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}, 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}} @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{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{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, 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}} @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}} @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}, Year = {2010}} @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}} @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}} @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}} @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{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}}

Ignore Space Show notes View

Koli_2017/Koli_2017_Stanger.bib

@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, 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},
	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}}

@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{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{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,
	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}}

@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}}

@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}}

@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}}

@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}}

@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{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}}

# Crossrefs

@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}}

Show line notes below