cargaji/tfm-report
cargaji/tfm-report
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
tfm-report/biblio.bib
Carlos Galindo 164330306c added bib file
2020-05-08 12:13:11 +02:00

5159 lines
193 KiB
BibTeX
Executable file
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/
%% Created for Carlos Santiago Galindo Jiménez at 2020-03-03 18:00:55 +0100
%% Saved with string encoding Unicode (UTF-8)
@inproceedings{InsS10,
Author = {Insa, David and Silva, Josep},
Booktitle = {Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010)},
Isbn = {978-1-4244-8630-4},
Month = {September},
Pages = {1--6},
Title = {An Algorithmic Debugger for {J}ava},
Year = {2010}}
@inproceedings{InsS10b,
Author = {Insa, David and Silva, Josep},
Booktitle = {Proceedings of the 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010)},
Title = {Debugging with Incomplete and Dynamically Generated Execution Trees},
Year = {2010}}
@inproceedings{InsS10c,
Author = {Insa, David and Silva, Josep and Riesco, Adrian},
Booktitle = {Proceedings of the 10th Spanish Workshop on Programming Languages (PROLE 10)},
Month = {September},
Title = {Balancing Execution Trees},
Year = {2010}}
@inproceedings{InsS10d,
Author = {Insa, David and Silva, Josep},
Booktitle = {Proceedings of the 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010)},
Pages = {149--163},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Scaling Up Algorithmic Debugging with Virtual Execution Trees},
Volume = {6564},
Year = {2010}}
@article{InsS11,
Author = {Insa, David and Silva, Josep},
Journal = {Computing Research Repository (\url{http://arxiv.org/abs/1107.0350})},
Month = {July},
Publisher = {Cornell University Library},
Title = {Optimal {D}ivide and {Q}uery (extended version)},
Year = {2011}}
@inproceedings{InsS11b,
Author = {Insa, David and Silva, Josep},
Booktitle = {Proceedings of the 26th International Conference on Automated Software Engineering (ASE 2011)},
Editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.},
Isbn = {978-1-4577-1638-6},
Month = {November},
Pages = {203--212},
Publisher = {IEEE Computer Society},
Title = {An Optimal Strategy for Algorithmic Debugging},
Year = {2011}}
@inproceedings{InsS11c,
Author = {Insa, David and Silva, Josep},
Booktitle = {Proceedings of the 11th Spanish Workshop on Programming Languages (PROLE 11)},
Month = {September},
Title = {Hacia una estrategia \'optima para la Depuraci\'on Algor\'itmica},
Year = {2011}}
@techreport{InsS12,
Author = {Insa, David and Silva, Josep},
Institution = {Universidad Polit\'ecnica de Valencia},
Note = {Available at: \url{http://www.dsic.upv.es/~jsilva/research.htm\#techs}},
Number = {DSIC/05/12},
Title = {A Transformation of Iterative Loops into Recursive Loops},
Year = {2012}}
@article{InsS12b,
Author = {Insa, David and Silva, Josep},
Ee = {http://dx.doi.org/10.1016/j.entcs.2011.12.005},
Journal = {Electronic Notes in Theoretical Computer Science},
Pages = {47--60},
Title = {Implementation of an Optimal Strategy for Algorithmic Debugging},
Volume = {282},
Year = {2012}}
@techreport{InsST12,
Author = {Insa, David and Silva, Josep and Tom\'as, C\'esar},
Institution = {Universitat Polit\'ecnica de Valencia},
Note = {Available at: \url{http://www.dsic.upv.es/~jsilva/research.htm\#techs}},
Number = {DSIC/07/12},
Title = {Mejora del Rendimiento de la Depuraci\'on Declarativa Mediante Expansi\'on y Compresi\'on de Bucles},
Year = {2012}}
@techreport{InsST12b,
Author = {Insa, David and Silva, Josep and Tom\'as, C\'esar},
Institution = {Universidad Polit\'ecnica de Valencia},
Note = {Available at: \url{http://www.dsic.upv.es/~jsilva/research.htm\#techs}},
Number = {DSIC/11/12},
Title = {Enhancing Declarative Debugging with Loop Expansion and Tree Compression},
Year = {2012}}
@inproceedings{InsST12c,
Author = {Insa, David and Silva, Josep and Tom\'as, C\'esar},
Booktitle = {Proceedings of the 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2012)},
Editor = {Albert, Elvira},
Ee = {http://dx.doi.org/10.1007/978-3-642-38197-3_6},
Isbn = {978-3-642-38196-6, 978-3-642-38197-3},
Month = {September},
Pages = {71--88},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Enhancing Declarative Debugging with Loop Expansion and Tree Compression},
Volume = {7844},
Year = {2012}}
@inproceedings{LopSI12,
Author = {Lopez, Sergio and Silva, Josep and Insa, David},
Booktitle = {Proceedings of the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 12)},
Doi = {10.4204/EPTCS.98.6},
Editor = {Silva, Josep and Tiezzi, Francesco},
Location = {Stockholm (Sweden)},
Pages = {46--59},
Series = {EPTCS},
Title = {Using the {DOM} Tree for Content Extraction},
Volume = {98},
Year = {2012},
Bdsk-Url-1 = {https://doi.org/10.4204/EPTCS.98.6}}
@inproceedings{InsSR13,
Author = {Insa, David and Silva, Josep and Riesco, Adri\'an},
Booktitle = {Proceedings of the 7th International Conference Tests and Proofs (TAP 2013)},
Editor = {Veanes, Margus and Vigan\`o, Luca},
Ee = {http://dx.doi.org/10.1007/978-3-642-38916-0_8},
Isbn = {978-3-642-38915-3},
Month = {June},
Pages = {133--151},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Speeding up Algorithmic Debugging using Balanced Execution Trees},
Volume = {7942},
Year = {2013}}
@inproceedings{AlaIST13,
Author = {Alarte, Julian and Insa, David and Silva, Josep and Tamarit, Salvador},
Booktitle = {Proceedings of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 13)},
Editor = {Silva, Josep and Ravara, Antonio},
Location = {Firenze (Italy)},
Pages = {Article 5},
Title = {Template Extraction Based on Menu Information},
Year = {2013}}
@article{InsST13,
Author = {Insa, David and Silva, Josep and Tamarit, Salvador},
Doi = {10.1016/j.jlap.2013.01.002},
Issn = {1567-8326},
Journal = {The Journal of Logic and Algebraic Programming},
Number = {8},
Pages = {311--325},
Title = {Using the Words/Leafs Ratio in the {DOM} Tree for Content Extraction},
Volume = {82},
Year = {2013},
Bdsk-Url-1 = {https://doi.org/10.1016/j.jlap.2013.01.002}}
@techreport{InsS14,
Author = {Insa, David and Silva, Josep},
Institution = {Computing Research Repository (CoRR)},
Month = {October},
Note = {Available at: \url{http://arxiv.org/abs/1410.4956/}},
Number = {abs/1410.4956},
Title = {Transforming while/do/for/foreach-Loops into Recursive Methods},
Year = {2014}}
@inproceedings{AlaIST14,
Author = {Alarte, Juli\'an and Insa, David and Silva, Josep and Tamarit, Salvador},
Booktitle = {Proceedings of the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 14)},
Doi = {10.4204/EPTCS.163.2},
Editor = {ter Beek, Maurice H. and Ravara, Ant\'onio},
Location = {Vienna (Austria)},
Month = {July},
Pages = {2--15},
Publisher = {Open Publishing Association},
Series = {Electronic Proceedings in Theoretical Computer Science},
Title = {Automatic Detection of Webpages that Share the Same Web Template},
Volume = {163},
Year = {2014},
Bdsk-Url-1 = {https://doi.org/10.4204/EPTCS.163.2}}
@article{AlaIST14a,
Author = {Alarte, Juli\'an and Insa, David and Silva, Josep and Tamarit, Salvador},
Journal = {CoRR},
Title = {A Benchmark Suite for Template Detection and Content Extraction},
Url = {http://arxiv.org/abs/1409.6182},
Volume = {abs/1409.6182},
Year = {2014},
Bdsk-Url-1 = {http://arxiv.org/abs/1409.6182}}
@inproceedings{GonIS14,
Author = {Gonz\'alez, Juan and Insa, David and Silva, Josep},
Booktitle = {Proceedings of the 23rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2013)},
Month = {December},
Pages = {183--201},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {A New Hybrid Debugging Architecture for {E}clipse},
Volume = {8901},
Year = {2014}}
@inproceedings{AlaIST15,
Author = {Alarte, Juli\'an and Insa, David and Silva, Josep and Tamarit, Salvador},
Booktitle = {Proceedings of the XIV Jornadas sobre Programaci\'on y Lenguajes (PROLE 15)},
Doi = {10.4204/EPTCS.173.2},
Editor = {Escobar, Santiago},
Location = {Cadiz (Spain)},
Month = {September},
Pages = {16--26},
Publisher = {Open Publishing Association},
Series = {Electronic Proceedings in Theoretical Computer Science},
Title = {Web Template Extraction Based on Hyperlink Analysis},
Volume = {173},
Year = {2015},
Bdsk-Url-1 = {https://doi.org/10.4204/EPTCS.173.2}}
@article{InsS15,
Author = {Insa, David and Silva, Josep},
Journal = {Information and Software Technology},
Month = {February},
Pages = {95--109},
Title = {Automatic Transformation of Iterative Loops into Recursive Methods},
Volume = {58},
Year = {2015}}
@inproceedings{InsS15b,
Author = {Insa, David and Silva, Josep},
Booktitle = {Proceedings of the 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015)},
Editor = {Moreno Falaschi},
Month = {July},
Pages = {261--276},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {A Generalized Model for Algorithmic Debugging},
Volume = {9527},
Year = {2015}}
@inproceedings{AlaIST15b,
Address = {Florence, Italy},
Author = {Alarte, Juli\'an and Insa, David and Silva, Josep and Tamarit, Salvador},
Booktitle = {Proceedings of the 24th International Conference on World Wide Web Companion (WWW 2015)},
Doi = {10.1145/2740908.2742835},
Editor = {Gangemi, Aldo and Leonardi, Stefano and Panconesi, Alessandro},
Isbn = {978-1-4503-3473-0},
Month = {May},
Pages = {155--158},
Publisher = {ACM},
Title = {{TeMex}: The Web Template Extractor},
Url = {http://doi.acm.org/10.1145/2740908.2742835},
Year = {2015},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2740908.2742835},
Bdsk-Url-2 = {https://doi.org/10.1145/2740908.2742835}}
@inproceedings{InsS15c,
Author = {David Insa and Josep Silva},
Booktitle = {Proceedings of the 2015 {ACM} Conference on Innovation and Technology in Computer Science Education, ITiCSE 2015, Vilnius, Lithuania, July 4-8, 2015},
Doi = {10.1145/2729094.2742615},
Pages = {39--44},
Title = {Semi-Automatic Assessment of Unrestrained Java Code: {A} Library, a DSL, and a Workbench to Assess Exams and Exercises},
Url = {http://doi.acm.org/10.1145/2729094.2742615},
Year = {2015},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2729094.2742615},
Bdsk-Url-2 = {https://doi.org/10.1145/2729094.2742615}}
@inproceedings{InsST16,
Address = {New York, NY, USA},
Author = {Insa, David and Silva, Josep and Salvador Tamarit},
Booktitle = {Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education},
Location = {Arequipa, Peru},
Numpages = {6},
Publisher = {ACM},
Series = {ITICSE 2016},
Title = {Where You Sit Matters. How Classroom Seating Might Affect Marks},
Year = {2016}}
@inproceedings{InsPST17,
Author = {Insa, David and P{\'{e}}rez, Sergio and Silva, Josep and Tamarit, Salvador},
Booktitle = {Proceedings of the 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017)},
Title = {Erlang Code Evolution Control},
Year = {2017}}
@article{EspIST17,
Author = {Espa{\~n}a, Salvador and Insa, David and Silva, Josep and Tamarit, Salvador},
Journal = {Proceedings of the 16th International Conference on Information Technology Based Higher Education and Training (ITHET)},
Pages = {1-3},
Title = {In what order should I correct the exercises? Determining the evaluation order for the automatic assessment of programming exercises},
Year = {2017}}
@article{InsS18,
Author = {Insa, David and Silva, Josep},
Journal = {Computer Languages, Systems \& Structures},
Pages = {59-72},
Title = {Automatic assessment of Java code},
Volume = {53},
Year = {2018}}
@inproceedings{AlaIS17,
Author = {Juli{\'{a}}n Alarte and David Insa and Josep Silva},
Booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings},
Pages = {411--422},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Webpage Menu Detection Based on {DOM}},
Volume = {10139},
Year = {2017}}
@inproceedings{OchSV04,
Acmid = {1014020},
Address = {New York, NY, USA},
Author = {Ochoa, Claudio and Silva, Josep and Vidal, Germ\'an},
Booktitle = {Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM '04)},
Isbn = {1-58113-835-0},
Keywords = {lazy functional logic programming, redex trails, slicing},
Location = {Verona, Italy},
Numpages = {12},
Pages = {123--134},
Publisher = {ACM},
Title = {Dynamic {S}licing Based on Redex Trails},
Year = {2004}}
@inproceedings{OchSV05,
Address = {New York, NY, USA},
Author = {Ochoa, Claudio and Silva, Josep and Vidal, Germ\'an},
Booktitle = {Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming},
Doi = {10.1145/1085099.1085101},
Isbn = {1-59593-069-8},
Location = {Tallinn, Estonia},
Pages = {1--7},
Publisher = {ACM},
Series = {WCFLP '05},
Title = {Lightweight Program Specialization via {D}ynamic {S}licing},
Url = {http://doi.acm.org/10.1145/1085099.1085101},
Year = {2005},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1085099.1085101},
Bdsk-Url-2 = {https://doi.org/10.1145/1085099.1085101}}
@article{LloOST06,
Author = {Llorens, Marisa and Oliver, Javier and Silva, Josep and Tamarit, Salvador and Vidal, Germ\'an},
Doi = {10.1016/j.entcs.2008.12.037},
Journal = {Electronic Notes in Theoretical Computer Science},
Pages = {153--165},
Title = {Dynamic {S}licing Techniques for Petri Nets},
Url = {http://dx.doi.org/10.1016/j.entcs.2008.12.037},
Volume = {223},
Year = {2006},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2008.12.037}}
@inproceedings{Sil06,
Author = {Silva, Josep},
Booktitle = {Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006)},
Pages = {134--140},
Title = {Algorithmic Debugging Strategies},
Year = {2006}}
@techreport{Sil06b,
Author = {Silva, Josep},
Institution = {Universidad Polit\'ecnica de Valencia},
Note = {Available at: \url{http://www.dsic.upv.es/~jsilva/research.htm\#techs}},
Number = {DSIC-II/12/06},
Title = {A Classification of Algorithmic Debugging Strategies},
Year = {2006}}
@inproceedings{Sil06c,
Author = {Silva, Josep},
Booktitle = {Proceedings of the 6th Jornadas de Programaci\'on y Lenguajes (PROLE'06)},
Pages = {243--252},
Title = {Three New Algorithmic Debugging Strategies},
Year = {2006}}
@inproceedings{SilC06,
Author = {Silva, Josep and Chitil, Olaf},
Booktitle = {Proceedings of the 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06)},
Pages = {157--166},
Publisher = {ACM Press},
Title = {Combining Algorithmic Debugging and Program Slicing},
Year = {2006}}
@techreport{SilC06b,
Author = {Silva, Josep and Chitil, Olaf},
Institution = {Universidad Polit\'ecnica de Valencia},
Note = {Available at: \url{http://www.dsic.upv.es/~jsilva/research.htm\#techs}},
Number = {DSIC-II/04/06},
Title = {Combining Algorithmic Debugging and Program Slicing},
Year = {2006}}
@inproceedings{CheSV07,
Author = {Cheda, Diego and Silva, Josep and Vidal, Germ\'an},
Booktitle = {Proceedings of the 15th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2006)},
Pages = {123--136},
Publisher = {Elsevier ENTCS 177},
Title = {Static Slicing of Rewrite Systems},
Year = {2007}}
@inproceedings{CheS07,
Author = {Cheda, Diego and Silva, Josep},
Booktitle = {Proceedings of the 7th Spanish Workshop on Programming Languages (PROLE 07)},
Isbn = {978-84-9732-599-8},
Pages = {171--180},
Title = {A Comparative of Algorithmic Debuggers},
Year = {2007}}
@techreport{Sil07b,
Author = {Silva, Josep},
Institution = {Universidad Polit\'ecnica de Valencia},
Note = {Available at: \url{http://www.dsic.upv.es/~jsilva/research.htm\#techs}},
Number = {DSIC-II/13/07},
Title = {The Buggy Benchmarks Collection of {H}askell Programs},
Year = {2007}}
@inproceedings{Sil07c,
Author = {Silva, Josep},
Booktitle = {Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06)},
Pages = {143--159},
Publisher = {Springer LNCS 4407},
Title = {A Comparative Study of Algorithmic Debugging Strategies},
Year = {2007}}
@inproceedings{Sil07d,
Author = {Silva, Josep},
Booktitle = {SOFSEM 2007: Theory and Practice of Computer Science},
Date-Modified = {2020-03-03 17:23:15 +0100},
Keywords = {program slicing,xml/dtd},
Pages = {771--782},
Publisher = {Springer LNCS 4362},
Title = {A {P}rogram {S}licing Based Method to Filter {XML}/{DTD} Documents},
Year = {2007}}
@phdthesis{Sil07e,
Author = {Silva, Josep},
School = {Universidad Polit\'ecnica de Valencia},
Title = {Debugging Techniques for Declarative Languages: Profiling, Program Slicing, and Algorithmic Debugging},
Year = {2007}}
@techreport{Sil09,
Author = {Silva, Josep},
Institution = {Universidad Polit\'ecnica de Valencia},
Note = {Available at: \url{http://www.dsic.upv.es/~jsilva/research.htm\#techs}},
Number = {DSIC-II/10/09},
Title = {An Empirical Evaluation of Algorithmic Debugging Strategies},
Year = {2009}}
@article{CheS09,
Author = {Cheda, Diego and Silva, Josep},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = {August},
Pages = {55--70},
Title = {State of the Practice in Algorithmic Debugging},
Volume = {246},
Year = {2009}}
@article{InsPST18,
Author = {Insa, David and P\'erez, Sergio and Silva, Josep and Tamarit, Salvador},
Doi = {https://doi.org/10.1155/2018/9251762},
Journal = {Scientific Programming},
Pages = {1--42},
Title = {Behaviour Preservation across Code Versions in Erlang},
Volume = {2018},
Year = {2018},
Bdsk-Url-1 = {https://doi.org/10.1155/2018/9251762}}
@inproceedings{AlmST11,
Acmid = {2063794},
Address = {New York, NY, USA},
Author = {Almendros-Jimenez, Jesus M. and Silva, Josep and Tamarit, Salvador},
Booktitle = {Proceedings of the 20th ACM International Conference on Information and Knowledge Management},
Doi = {10.1145/2063576.2063794},
Isbn = {978-1-4503-0717-8},
Keywords = {XQuery, query optimization, slicing},
Location = {Glasgow, Scotland, UK},
Numpages = {10},
Pages = {1525--1534},
Publisher = {ACM},
Series = {CIKM '11},
Title = {XQuery Optimization Based on Program Slicing},
Url = {http://doi.acm.org/10.1145/2063576.2063794},
Year = {2011},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2063576.2063794},
Bdsk-Url-2 = {https://doi.org/10.1145/2063576.2063794}}
@article{Sil11,
Acmid = {2027486},
Address = {Oxford, UK, UK},
Author = {Silva, Josep},
Doi = {10.1016/j.advengsoft.2011.05.024},
Issn = {0965-9978},
Issue_Date = {November, 2011},
Journal = {Advances in Engineering Software},
Keywords = {Algorithmic debugging, Algorithmic debugging strategy, Debugging, Divide \& query, Execution tree, Software engineering},
Month = {November},
Number = {11},
Numpages = {16},
Pages = {976--991},
Publisher = {Elsevier Science Ltd.},
Title = {A Survey on Algorithmic Debugging Strategies},
Url = {http://dx.doi.org/10.1016/j.advengsoft.2011.05.024},
Volume = {42},
Year = {2011},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.advengsoft.2011.05.024}}
@inproceedings{SilTT12,
Author = {Silva, Josep and Tamarit, Salvador and Tom\'as, C\'esar},
Booktitle = {Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)},
Ee = {http://dx.doi.org/10.1007/978-3-642-28872-2_33},
Isbn = {978-3-642-28871-5},
Pages = {486--500},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {System Dependence Graphs in Sequential {E}rlang},
Volume = {7212},
Year = {2012}}
@article{Sil12,
Author = {Silva, Josep},
Date-Modified = {2020-03-03 17:23:35 +0100},
Journal = {ACM Computing Surveys},
Keywords = {survey,program slicing},
Month = {June},
Number = {3},
Title = {A Vocabulary of Program Slicing-Based Techniques},
Volume = {44},
Year = {2012}}
@article{LloOST16,
Author = {Llorens, Marisa and Oliver, Javier and Silva, Josep and Tamarit, Salvador},
Doi = {http://dx.doi.org/10.1016/j.parco.2016.01.006},
Issn = {0167-8191},
Journal = {Parallel Computing},
Pages = {1--22},
Title = {Dynamic Slicing of Concurrent Specification Languages},
Url = {http://www.sciencedirect.com/science/article/pii/S0167819116000363},
Volume = {53},
Year = {2016},
Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/S0167819116000363},
Bdsk-Url-2 = {http://dx.doi.org/10.1016/j.parco.2016.01.006}}
@article{CabRS17,
Acmid = {3106740},
Address = {New York, NY, USA},
Articleno = {60},
Author = {Caballero, Rafael and Riesco, Adri\'{a}n and Silva, Josep},
Doi = {10.1145/3106740},
Issn = {0360-0300},
Issue_Date = {August 2017},
Journal = {ACM Comput. Surv.},
Keywords = {Algorithmic debugging, declarative debugging, software engineering},
Month = {August},
Number = {4},
Numpages = {35},
Pages = {60:1--60:35},
Publisher = {ACM},
Title = {A Survey of Algorithmic Debugging},
Url = {http://doi.acm.org/10.1145/3106740},
Volume = {50},
Year = {2017},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/3106740},
Bdsk-Url-2 = {https://doi.org/10.1145/3106740}}
@inproceedings{Cab05,
Address = {New York, USA},
Author = {Caballero, Rafael},
Booktitle = {Proceedings of the 2005 ACM-SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP'05)},
Doi = {http://doi.acm.org/10.1145/1085099.1085102},
Isbn = {1-59593-069-8},
Location = {Tallinn, Estonia},
Pages = {8--13},
Publisher = {ACM Press},
Title = {A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs},
Year = {2005},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1085099.1085102}}
@inproceedings{CabHK06,
Author = {Caballero, Rafael and Hermanns, Christian and Kuchen, Herbert},
Booktitle = {Proceedings of the 2006 Workshop on Functional Logic Programming (WFLP'06)},
Location = {Madrid, Spain},
Month = {June},
Pages = {75--89},
Publisher = {Electronic Notes in Theoretical Computer Science},
Title = {Algorithmic Debugging of {J}ava Programs},
Volume = {177},
Year = {2006}}
@article{CabGS08,
Address = {Berlin, Heidelberg},
Author = {Caballero, Rafael and Garc\'ia-Ru\'iz, Yolanda and S\'aenz-P\'erez, Fernando},
Doi = {http://dx.doi.org/10.1007/978-3-540-88594-8_8},
Isbn = {978-3-540-88593-1},
Journal = {Semantics in Data and Knowledge Bases: Third International Workshop},
Month = {March},
Pages = {143--159},
Publisher = {Springer-Verlag},
Title = {A Theoretical Framework for the {D}eclarative {D}ebugging of {D}atalog Programs},
Year = {2008},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-540-88594-8_8}}
@inproceedings{CabGS12,
Address = {Berlin, Heidelberg},
Author = {Caballero, Rafael and Garc\'ia-Ruiz, Yolanda and S\'aenz-P\'erez, Fernando},
Booktitle = {Proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012},
Editor = {Schrijvers, Tom and Thiemann, Peter},
Isbn = {978-3-642-29822-6},
Pages = {73--87},
Publisher = {Springer Berlin Heidelberg},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Declarative {D}ebugging of Wrong and Missing Answers for {SQL} Views},
Volume = {7294},
Year = {2012}}
@inproceedings{CabMRT15,
Author = {Caballero, Rafael and Martin?Martin, Enrique and Riesco, Adri\'an and Tamarit, Salvador},
Booktitle = {Proceedings of the 15th Spanish Workshop on Programming Languages (PROLE 15)},
Publisher = {Universidad de Cantabria},
Title = {A Declarative Debugger for Concurrent {E}rlang Programs},
Year = {2015}}
@article{CabMRV08,
Address = {Berlin, Heidelberg},
Author = {Caballero, Rafael and Mart\'i-Oliet, Narciso and Riesco, Adri\'an and Verdejo, Alberto},
Book = {Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
Doi = {http://dx.doi.org/10.1007/978-3-540-68679-8_12},
Isbn = {978-3-540-68676-7},
Pages = {174--193},
Publisher = {Springer-Verlag},
Title = {Declarative {D}ebugging of Membership Equational Logic Specifications},
Year = {2008},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-540-68679-8_12}}
@article{CabMRV09,
Acmid = {1556659},
Address = {Amsterdam, The Netherlands, The Netherlands},
Author = {Caballero, Rafael and Mart\'i-Oliet, Narciso and Riesco, Adri\'an and Verdejo, Alberto},
Doi = {http://dx.doi.org/10.1016/j.entcs.2009.05.013},
Issn = {1571-0661},
Issue = {3},
Journal = {Electronic Notes Theoretical Computer Science},
Keywords = {Maude, declarative debugging, functional modules, membership equational logic, metalevel implementation},
Month = {June},
Number = {3},
Numpages = {19},
Pages = {63--81},
Publisher = {Elsevier Science Publishers B. V.},
Title = {A Declarative Debugger for {M}aude Functional Modules},
Volume = {238},
Year = {2009},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.05.013}}
@article{RieVMC11,
Author = {Riesco, Adri\'an and Verdejo, Alberto and Mart\'i-Oliet, Narciso and Caballero, Rafael},
Journal = {Journal of Logic and Algebraic Programming (JLAP)},
Title = {Declarative {D}ebugging of Rewriting Logic Specifications},
Year = {2011}}
@inproceedings{CabRVM11,
Author = {Caballero, Rafael and Riesco, Adri\'an and Verdejo, Alberto and Mart\'\i-Oliet, Narciso},
Booktitle = {21st International Symposium Logic-Based Program Synthesis and Transformation (LOPSTR 2011)},
Editor = {Germ\'an Vidal},
Isbn = {978-3-642-32210-5},
Month = {July},
Pages = {73--89},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Simplifying Questions in {M}aude Declarative Debugger by Transforming Proof Trees},
Volume = {7225},
Year = {2011}}
@inproceedings{CabMRT14,
Author = {Caballero, Rafael and Martin-Martin, Enrique and Riesco, Adri\'an and Tamarit, Salvador},
Booktitle = {20th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)},
Editor = {\'Abrah\'am, Erika and Havelund, Klaus},
Month = {April},
Pages = {581--586},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {{EDD}: A Declarative Debugger for Sequential {E}rlang Programs},
Volume = {8413},
Year = {2014}}
@misc{Absform,
Author = {Ericsson AB},
Howpublished = {Available at: \url{http://erlang.org/doc/apps/erts/absform.html}},
Title = {The Abstract Format},
Year = {2017}}
@misc{ANTLR,
Author = {Parr, Terence and Harwell, Sam},
Howpublished = {Available at: \url{http://www.antlr.org/}},
Title = {{ANTLR}},
Year = {2017}}
@misc{Cover,
Howpublished = {Available at: \url{http://www.erlang.org/doc/apps/tools/cover_chapter.html}},
Title = {Erlang-{C}over},
Year = {1997}}
@misc{DOM,
Author = {W3C Consortium},
Howpublished = {Available at: \url{http://www.w3.org/DOM/}},
Title = {Document {O}bject {M}odel ({DOM})},
Year = {1997}}
@misc{Eclipse,
Author = {{The Eclipse Foundation}},
Howpublished = {Available at: \url{http://www.eclipse.org/}},
Title = {Eclipse},
Year = {2003}}
@misc{Erlang,
Howpublished = {Available at: \url{http://www.erlang.org/}},
Title = {Erlang},
Year = {1986}}
@misc{Indus,
Author = {Ranganath, Venkatesh-Prasad},
Howpublished = {Available at: \url{http://indus.projects.cis.ksu.edu}},
Title = {Indus, a toolkit to customize and adapt {J}ava programs}}
@misc{JavaParser,
Author = {Tomassetti, Federico and Smith, Nicholas and Maximilien, Cruz and Kirsch, Sebastian},
Howpublished = {Available at: \url{https://github.com/javaparser/javaparser}},
Title = {Java {P}arser},
Year = {2017}}
@misc{JBuilder,
Howpublished = {Available at: \url{http://www.embarcadero.com/products/jbuilder/}},
Title = {Borland {JB}uilder},
Year = {2008}}
@misc{JCreator,
Author = {Xinox software},
Howpublished = {Available at: \url{http://www.jcreator.com/}},
Title = {JCreator},
Year = {2000}}
@misc{Jinterface,
Author = {Ericsson AB},
Howpublished = {Available at: \url{http://erlang.org/doc/man/jinterface.html}},
Title = {Jinterface},
Year = {2017}}
@misc{JPDA,
Author = {Sun Microsystems},
Howpublished = {Available at: \url{http://java.sun.com/javase/technologies/core/toolsapis/jpda/}},
Title = {Java {P}latform {D}ebugger {A}rchitecture - {JPDA}},
Year = {2010}}
@misc{Komodo,
Howpublished = {Available at: \url{http://komodoide.com/}},
Title = {Active{S}tate {K}omodo},
Year = {2000}}
@misc{loops2recursion,
Author = {Insa, David and Silva, Josep},
Howpublished = {Available at: \url{http://www.dsic.upv.es/~jsilva/loops2recursion/}},
Title = {loops2recursion {J}ava Library},
Year = {2013}}
@misc{NetBeans,
Howpublished = {Available at: \url{http://www.netbeans.org/}},
Title = {Net{B}eans},
Year = {1999}}
@misc{Omnicore,
Howpublished = {Available at: \url{http://www.omnicore.com/en/codeguide.htm}},
Title = {Omnicore {C}ode{G}uide},
Year = {2007}}
@misc{OverlayExtension,
Howpublished = {Available at: \url{https://developer.mozilla.org/en-US/Add-ons/Overlay_Extensions}},
Title = {Overlay extension},
Year = {2005}}
@misc{Sil07,
Author = {Silva, Josep},
Howpublished = {Available at: \url{http://einstein.dsic.upv.es/darcs/nofib-buggy/}},
Title = {Nofib-{B}uggy: The Buggy Benchmarks Collection of {H}askell Programs},
Year = {2007}}
@misc{Slicerl,
Author = {Silva, Josep and Tamarit, Salvador and Tom\'as, C\'esar and Insa, David},
Month = {September},
Title = {Slicerl},
Url = {http://kaz.dsic.upv.es/slicerl},
Year = {2011},
Bdsk-Url-1 = {http://kaz.dsic.upv.es/slicerl}}
@misc{SPIDER,
Howpublished = {Available at: \url{https://sicstus.sics.se/spider/}},
Title = {{SICS}tus {P}rolog {SPIDER} {IDE}},
Year = {2009}}
@misc{SunJavaStudioCreator,
Author = {Sun},
Howpublished = {Available at: \url{http://www.oracle.com/technetwork/articles/java/jscoverview-135211.html}},
Title = {Sun {J}ava Studio Creator},
Year = {2004}}
@misc{SWIProlog,
Howpublished = {Available at: \url{http://www.swi-prolog.org/}},
Title = {{SWI}-{P}rolog},
Year = {1987}}
@article{AdlH12,
Author = {Adler, Micah and Heeringa, Brent},
Journal = {Algorithmica},
Number = {3-4},
Pages = {1112--1121},
Title = {Approximating Optimal Binary Decision Trees},
Volume = {62},
Year = {2012}}
@inproceedings{AgrH90a,
Acmid = {93576},
Address = {New York, NY, USA},
Author = {Agrawal, Hiralal and Horgan, Joseph R.},
Booktitle = {Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation},
Doi = {10.1145/93542.93576},
Isbn = {0-89791-364-7},
Location = {White Plains, New York, USA},
Numpages = {11},
Pages = {246--256},
Publisher = {ACM},
Series = {PLDI '90},
Title = {Dynamic Program Slicing},
Url = {http://doi.acm.org/10.1145/93542.93576},
Year = {1990},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/93542.93576},
Bdsk-Url-2 = {https://doi.org/10.1145/93542.93576}}
@article{AgrH90b,
Acmid = {93576},
Address = {New York, NY, USA},
Author = {Agrawal, Hiralal and Horgan, Joseph R.},
Doi = {10.1145/93548.93576},
Issn = {0362-1340},
Issue_Date = {Jun. 1990},
Journal = {SIGPLAN Not.},
Month = jun,
Number = {6},
Numpages = {11},
Pages = {246--256},
Publisher = {ACM},
Title = {Dynamic Program Slicing},
Url = {http://doi.acm.org/10.1145/93548.93576},
Volume = {25},
Year = {1990},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/93548.93576},
Bdsk-Url-2 = {https://doi.org/10.1145/93548.93576}}
@article{Allen70,
Acmid = {808479},
Address = {New York, NY, USA},
Author = {Allen, Frances E.},
Issn = {0362-1340},
Issue_Date = {July 1970},
Journal = {SIGPLAN Not.},
Month = July,
Number = {7},
Pages = {1--19},
Publisher = {ACM},
Title = {Control Flow Analysis},
Volume = {5},
Year = {1970}}
@article{AllH03,
Author = {Allen, Matthew and Horwitz, Susan},
Date-Modified = {2020-03-03 18:00:05 +0100},
Issn = {0362-1340},
Journal = {SIGPLAN Not.},
Keywords = {program slicing,java,exception handling},
Month = {June},
Number = {10},
Pages = {44--54},
Title = {Slicing Java Programs That Throw and Catch Exceptions},
Volume = {38},
Year = {2003}}
@article{BeyJD18,
Author = {Anis Bey and Patrick Jermann and Pierre Dillenbourg},
Issn = {11763647, 14364522},
Journal = {Journal of Educational Technology \& Society},
Number = {2},
Pages = {259--272},
Publisher = {International Forum of Educational Technology \& Society},
Title = {A Comparison between Two Automatic Assessment Approaches for Programming: An Empirical Study on MOOCs},
Url = {http://www.jstor.org/stable/26388406},
Volume = {21},
Year = {2018},
Bdsk-Url-1 = {http://www.jstor.org/stable/26388406}}
@inproceedings{AnnamaaSV17,
_Publisher = {ACM},
Acmid = {3141909},
Address = {New York, NY, USA},
Author = {Annamaa, Aivar and Suviste, Reelika and Vene, Varmo},
Booktitle = {Proceedings of the 17th Koli Calling International Conference on Computing Education Research},
Doi = {10.1145/3141880.3141909},
Isbn = {978-1-4503-5301-4},
Keywords = {automatic feedback, introductory programming},
Location = {Koli, Finland},
Numpages = {2},
Pages = {183--184},
Series = {Koli Calling '17},
Title = {Comparing Different Styles of Automated Feedback for Programming Exercises},
Url = {http://doi.acm.org/10.1145/3141880.3141909},
Year = {2017},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/3141880.3141909},
Bdsk-Url-2 = {https://doi.org/10.1145/3141880.3141909}}
@article{AndRT03,
Author = {Anderson, Paul and Reps, Thomas and Teitelbaum, Tim},
Issn = {0098-5589},
Journal = {IEEE Trans. Softw. Eng.},
Month = {August},
Number = {8},
Pages = {721--733},
Title = {Design and Implementation of a Fine-Grained Software Inspection Tool},
Volume = {29},
Year = {2003}}
@inproceedings{AriDM09,
Address = {Enschede},
Author = {Arias, Javier and Deschacht, Koen and Moens, Marie-Francine},
Booktitle = {Proceedings of the 9th Dutch-Belgian Information Retrieval Workshop (DIR 09)},
Editor = {Aly, Robin and Hauff, Claudia and Hamer den, Ida and Hiemstra, Djoerd and Huibers, Theo and Jong de, Franciska},
Keywords = {Information retrieval, search engines, databases},
Location = {Enschede (The Netherlands)},
Month = {February},
Number = {09-01},
Pages = {50--55},
Publisher = {Centre for Telematics and Information Technology},
Series = {Workshop Proceedings Series},
Title = {Language Independent Content Extraction from Web Pages},
Url = {https://lirias.kuleuven.be/handle/123456789/215528},
Year = {2009},
Bdsk-Url-1 = {https://lirias.kuleuven.be/handle/123456789/215528}}
@inproceedings{ArkMMRS93,
Author = {Arkin and Meijer and Mitchell and Rappaport and Skiena},
Booktitle = {Proceedings of the 9th Annual ACM Symposium on Computational Geometry (SoCG)},
Title = {Decision Trees for Geometric Models},
Year = {1993}}
@article{Art11,
Author = {Artho, Cyrille},
Ee = {http://dx.doi.org/10.1007/s10009-010-0139-9},
Journal = {International Journal on Software Tools for Technology Transfer (STTT)},
Number = {3},
Pages = {223--246},
Title = {Iterative {D}elta {D}ebugging},
Volume = {13},
Year = {2011}}
@article{AunHJR14,
Acmid = {2566620},
Address = {New York, NY, USA},
Articleno = {5},
Author = {Aung, Min and Horwitz, Susan and Joiner, Rich and Reps, Thomas},
Doi = {10.1145/2566620},
Issn = {0164-0925},
Issue_Date = {July 2014},
Journal = {ACM Trans. Program. Lang. Syst.},
Month = jun,
Number = {2},
Numpages = {67},
Pages = {5:1--5:67},
Publisher = {ACM},
Title = {Specialization Slicing},
Url = {http://doi.acm.org/10.1145/2566620},
Volume = {36},
Year = {2014},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2566620},
Bdsk-Url-2 = {https://doi.org/10.1145/2566620}}
@phdthesis{Av84,
Author = {Av-Ron, Evyatar},
School = {Weizmanm Institute},
Title = {Top-{D}own Diagnosis of {P}rolog Programs},
Year = {1984}}
@misc{Bak96,
Author = {Baker, Henry Givens},
Dayfiled = {13},
Filing_Num = {08372514},
Howpublished = {Patent},
Ipc_Class = {G06F 945},
Month = {December},
Monthfiled = {01},
Nationality = {US},
Note = {US 5590332},
Pat_Refs = {US 4922414 (May, 1990) Holloway et al. 364/200; US 4951194 (August, 1990) Bradley et al. 364/200; US 5355483 (October, 1994) Serler 395/650; US 5386520 (January, 1995) Gillet 395/375; US 5396632 (March, 1995) Gillet 395/725},
Title = {Garbage Collection, Tail Recursion and First-Class Continuations in Stack-Oriented Languages},
Url = {http://www.patentlens.net/patentlens/patent/US_5590332/en/},
Us_Class = {395/622; 395/705},
Year = {1996},
Yearfiled = {1995},
Bdsk-Url-1 = {http://www.patentlens.net/patentlens/patent/US_5590332/en/}}
@inproceedings{Bal06,
Author = {Baluja, Shumeet},
Booktitle = {Proceedings of the 15th International Conference on World Wide Web (WWW 06)},
Doi = {10.1145/1135777.1135788},
Editor = {Carr, Les and Roure, David De and Iyengar, Arun and Goble, Carole A. and Dahlin, Michael},
Isbn = {1-59593-323-9},
Location = {Edinburgh (Scotland / United Kingdom)},
Month = {may},
Pages = {33--42},
Publisher = {ACM},
Title = {Browsing on Small Screens: Recasting Web-Page Segmentation into an Efficient Machine Learning Framework},
Year = {2006},
Bdsk-Url-1 = {https://doi.org/10.1145/1135777.1135788}}
@inproceedings{BalH93,
Address = {London, UK, UK},
Author = {Ball, Thomas and Horwitz, Susan},
Booktitle = {Proceedings of the First International Workshop on Automated and Algorithmic Debugging},
Isbn = {3-540-57417-4},
Pages = {206--222},
Publisher = {Springer-Verlag},
Series = {AADEBUG '93},
Title = {Slicing Programs with Arbitrary Control-flow},
Year = {1993}}
@inproceedings{BarCKS08,
Author = {Baroni, Marco and Chantree, Francis and Kilgarriff, Adam and Sharoff, Serge},
Booktitle = {Proceedings of the International Conference on Language Resources and Evaluation (LREC'08)},
Ee = {http://www.lrec-conf.org/proceedings/lrec2008/summaries/162.html},
Location = {Marrakech, Morocco},
Month = {may},
Pages = {638--643},
Publisher = {European Language Resources Association},
Title = {Cleaneval: a Competition for Cleaning Web Pages},
Year = {2008}}
@book{BiggsT11,
Author = {Biggs, John and Tang Catherine},
Publisher = {McGraw-Hill and Open University Press, Maidenhead},
Title = {Teaching for Quality Learning at University},
Year = {2011}}
@article{BinG96,
Author = {David Binkley and Keith Brian Gallagher},
Doi = {10.1016/S0065-2458(08)60641-5},
Journal = {Advances in Computers},
Month = {April},
Number = {2},
Pages = {1--50},
Title = {Program {S}licing},
Url = {http://dx.doi.org/10.1016/S0065-2458(08)60641-5},
Volume = {43},
Year = {1996},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/S0065-2458(08)60641-5}}
@article{BerC85,
Acmid = {2366},
Address = {New York, NY, USA},
Author = {Bergeretti, Jean-Francois and Carr{\'e}, Bernard A.},
Doi = {10.1145/2363.2366},
Issn = {0164-0925},
Issue_Date = {Jan. 1985},
Journal = {ACM Trans. Program. Lang. Syst.},
Month = jan,
Number = {1},
Numpages = {25},
Pages = {37--61},
Publisher = {ACM},
Title = {Information-flow and Data-flow Analysis of While-programs},
Url = {http://doi.acm.org/10.1145/2363.2366},
Volume = {7},
Year = {1985},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2363.2366},
Bdsk-Url-2 = {https://doi.org/10.1145/2363.2366}}
@inproceedings{BenFH2016,
_Publisher = {ACM},
Address = {New York, NY, USA},
Author = {Benac Earle, Clara and Fredlung, Lars-Ake and Hughes, John},
Booktitle = {Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education},
Location = {Arequipa, Peru},
Numpages = {6},
Series = {ITICSE 2016},
Title = {Automatic Grading of Programming Exercises Using Property-Based Testing},
Year = {2016}}
@article{BinGH07,
Address = {New York, NY, USA},
Author = {Binkley, David and Gold, Nicolas and Harman, Mark},
Doi = {10.1145/1217295.1217297},
Isbn = {0-89791-598-4},
Issn = {1049-331X},
Journal = {ACM Trans. Softw. Eng. Methodol.},
Month = {April},
Number = {2},
Pages = {8},
Publisher = {ACM},
Title = {An Empirical Study of Static Program Slice Size},
Url = {http://doi.acm.org/10.1145/1217295.1217297},
Volume = {16},
Year = {2007},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1217295.1217297},
Bdsk-Url-2 = {https://doi.org/10.1145/1217295.1217297}}
@inproceedings{BinGHI14,
Address = {New York, NY, USA},
Author = {Binkley, David and Gold, Nicolas and Harman, Mark and Islam, Syed and Krinke, Jens and Yoo, Shin},
Booktitle = {Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering},
Doi = {10.1145/2635868.2635893},
Isbn = {978-1-4503-3056-5},
Location = {Hong Kong, China},
Numpages = {12},
Pages = {109--120},
Publisher = {ACM},
Series = {FSE 2014},
Title = {{ORBS}: Language-Independent {P}rogram {S}licing},
Url = {http://doi.acm.org/10.1145/2635868.2635893},
Year = {2014},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2635868.2635893},
Bdsk-Url-2 = {https://doi.org/10.1145/2635868.2635893}}
@inproceedings{BinGIKY17,
Author = {Binkley, David and Gold, Nicolas and Islam, Syed and Krinke, Jens and Yoo, Shin},
Booktitle = {2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM)},
Doi = {10.1109/SCAM.2017.11},
Month = {September},
Pages = {21--30},
Title = {Tree-Oriented vs. Line-Oriented Observation-Based Slicing},
Year = {2017},
Bdsk-Url-1 = {https://doi.org/10.1109/SCAM.2017.11}}
@phdthesis{Bond94,
Address = {Ottawa, Canada},
Author = {Bond, G.W.},
School = {Carleton University},
Title = {Logic Programs for Consistency-Based Diagnosis},
Year = {1994}}
@article{Bou93,
Author = {Bourdoncle, Fran{\~A}{\S}ois},
Isbn = {0-89791-598-4},
Issn = {0362-1340},
Journal = {ACM SIG\-PLAN Notices},
Month = {June},
Number = {6},
Pages = {46--55},
Title = {Abstract {D}ebugging of Higher-Order Imperative Languages},
Volume = {28},
Year = {1993}}
@inproceedings{BarR02,
Acmid = {511522},
Address = {New York, NY, USA},
Author = {Bar-Yossef, Ziv and Rajagopalan, Sridhar},
Booktitle = {Proceedings of the 11th International Conference on World Wide Web (WWW'02)},
Doi = {10.1145/511446.511522},
Isbn = {1-58113-449-5},
Keywords = {data mining, hypertext, information retrieval, web searching},
Location = {Honolulu, Hawaii, USA},
Numpages = {12},
Pages = {580--591},
Publisher = {ACM},
Title = {Template {D}etection via Data Mining and its Applications},
Url = {http://doi.acm.org/10.1145/511446.511522},
Year = {2002},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/511446.511522},
Bdsk-Url-2 = {https://doi.org/10.1145/511446.511522}}
@techreport{BarN94,
Author = {Barbour, Tim and Naish, Lee},
Institution = {University of Melbourne},
Title = {Declarative Debugging of a Logical-Functional Language},
Year = {1994}}
@article{BenFN99,
Author = {Ben-Asher, Yosi and Farchi, Eitan and Newman, Ilan},
Journal = {SIAM Journal on Computing (SICOMP)},
Number = {6},
Pages = {2090--2102},
Title = {Optimal Search in Trees},
Volume = {28},
Year = {1999}}
@phdthesis{Bin95,
Author = {Binks, Dominic},
School = {University of Bristol},
Title = {Declarative {D}ebugging in {G}\"odel},
Year = {1995}}
@article{BlackburnETAL06,
Acmid = {1167488},
Author = {Blackburn, Stephen M. and Garner, Robin and Hoffmann, Chris and Khang, Asjad M. and McKinley, Kathryn S. and Bentzur, Rotem and Diwan, Amer and Feinberg, Daniel and Frampton, Daniel and Guyer, Samuel Z. and Hirzel, Martin and Hosking, Antony and Jump, Maria and Lee, Han and Moss, J. Eliot B. and Phansalkar, Aashish and Stefanovi\'{c}, Darko and VanDrunen, Thomas and von Dincklage, Daniel and Wiedermann, Ben},
Doi = {10.1145/1167515.1167488},
Issn = {0362-1340},
Issue_Date = {October 2006},
Journal = {SIGPLAN Not.},
Month = oct,
Number = {10},
Numpages = {22},
Pages = {169--190},
Publisher = {ACM},
Title = {The DaCapo Benchmarks: Java Benchmarking Development and Analysis},
Url = {http://doi.acm.org/10.1145/1167515.1167488},
Volume = {41},
Year = {2006},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1167515.1167488},
Bdsk-Url-2 = {https://doi.org/10.1145/1167515.1167488}}
@article{Bra08,
Author = {Bra$\ss$el, Bernd},
Journal = {Proceedings of the 25th Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte},
Pages = {78--92},
Title = {A Debugger for Functional Logic Languages},
Year = {2008}}
@inproceedings{BraS07,
Author = {Bra$\ss$el, Bernd and Siegel, Holger},
Booktitle = {Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages},
Editor = {Chitil, Olaf and Horv\'ath, Zolt\'an and Zs\'ok, Vikt\'oria},
Isbn = {978-3-540-85372-5},
Pages = {183--200},
Publisher = {Springer Berlin Heidelberg},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Debugging Lazy Functional Programs by Asking the Oracle},
Volume = {5083},
Year = {2007}}
@inproceedings{BraH07,
Author = {Bra$\ss$el, Bernd. and Huch, Frank},
Booktitle = {Proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007)},
Pages = {215--223},
Title = {The Kiel Curry System {KiCS}},
Year = {2007}}
@phdthesis{Bro08,
Author = {C. Brown},
School = {School of Computing, University of Kent, Canterbury, Kent, UK},
Title = {{T}ool {S}upport for {R}efactoring {H}askell {P}rograms},
Year = {2008}}
@article{BulSWHD00,
Author = {Bull, J. Mark and Smith, L. A. and Westhead, Martin D. and Henty, D. S. and Davey, R. A.},
Doi = {10.1002/1096-9128(200005)12:6<375::AID-CPE480>3.0.CO;2-M},
Issn = {1096-9128},
Journal = {Concurrency: Practice and Experience},
Keywords = {Java, JVM, benchmarking, high performance},
Number = {6},
Pages = {375--388},
Publisher = {John Wiley \& Sons, Ltd.},
Title = {A Benchmark Suite for High Performance {J}ava},
Url = {http://dx.doi.org/10.1002/1096-9128(200005)12:6<375::AID-CPE480>3.0.CO;2-M},
Volume = {12},
Year = {2000},
Bdsk-Url-1 = {http://dx.doi.org/10.1002/1096-9128(200005)12:6%3C375::AID-CPE480%3E3.0.CO;2-M}}
@inproceedings{BurR09,
Acmid = {1578046},
Address = {Washington, DC, USA},
Author = {Burget, Radek and Rudolfova, Ivana},
Booktitle = {Proceedings of the 1st Asian Conference on Intelligent Information and Database Systems (ACIIDS'09)},
Doi = {10.1109/ACIIDS.2009.71},
Isbn = {978-0-7695-3580-7},
Keywords = {page segmentation, preprocessing, classification, visual features, visual blocks},
Numpages = {6},
Pages = {67--72},
Publisher = {IEEE Computer Society},
Title = {Web Page Element Classification Based on Visual Features},
Url = {http://dx.doi.org/10.1109/ACIIDS.2009.71},
Year = {2009},
Bdsk-Url-1 = {http://dx.doi.org/10.1109/ACIIDS.2009.71}}
@inproceedings{BA13,
Address = {Valencia, Spain},
Author = {Caiza, Julio C. and \'Alamo Ramiro, Jos\'e Mar\'ia},
Booktitle = {Proceedings of the 7th International Technology, Education and Development Conference (INTED2013)},
Numpages = {10},
Pages = {5691--5700},
Title = {Programming Assignments Automatic Grading: Review of Tools and Implementations},
Year = {2013}}
@phdthesis{Cal92,
Author = {Calejo, Miguel},
School = {New University of Lisbon},
Title = {A Framework for {D}eclarative {P}rolog {D}ebugging},
Year = {1992}}
@article{CarDKL04,
Author = {Carmo and Donadelli and Kohayakawa and Laber},
Journal = {Theoretical Computer Science (TCS)},
Title = {Searching in Random Partially Ordered Sets},
Volume = {321},
Year = {2004}}
@inproceedings{CarJLRC11,
Acmid = {2034720},
Address = {New York, NY, USA},
Author = {Cardoso, Eduardo and Jabour, Iam and Laber, Eduardo and Rodrigues, Rog\'erio and Cardoso, Pedro},
Booktitle = {Proceedings of the 11th ACM symposium on Document Engineering (DocEng'11)},
Doi = {10.1145/2034691.2034720},
Isbn = {978-1-4503-0863-2},
Keywords = {news segmentation, webpage rendering},
Location = {Mountain View, California, USA},
Numpages = {8},
Pages = {121--128},
Publisher = {ACM},
Title = {An Efficient Language-Independent Method to Extract Content from News Webpages},
Url = {http://doi.acm.org/10.1145/2034691.2034720},
Year = {2011},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2034691.2034720},
Bdsk-Url-2 = {https://doi.org/10.1145/2034691.2034720}}
@inproceedings{Cha01,
Acmid = {372054},
Address = {New York, NY, USA},
Author = {Chakrabarti, Soumen},
Booktitle = {Proceedings of the 10th International Conference on World Wide Web (WWW'01)},
Doi = {10.1145/371920.372054},
Isbn = {1-58113-348-0},
Keywords = {document object model, minimum description length principle, segmentation, topic distillation},
Location = {Hong Kong, Hong Kong},
Numpages = {10},
Pages = {211--220},
Publisher = {ACM},
Title = {Integrating the {D}ocument {O}bject {M}odel with Hyperlinks for Enhanced Topic Distillation and Information Extraction},
Url = {http://doi.acm.org/10.1145/371920.372054},
Year = {2001},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/371920.372054},
Bdsk-Url-2 = {https://doi.org/10.1145/371920.372054}}
@article{ChaPRAM11,
Author = {Chakaravarthy, Venkatesan T. and Pandit, Vinayaka and Roy, Sambuddha and Awasthi, Pranjal and Mohania, Mukesh K.},
Journal = {ACM Transactions on Algorithms (TALG)},
Number = {2},
Pages = {15},
Title = {Decision Trees for Entity Identification: Approximation Algorithms and Hardness Results},
Volume = {7},
Year = {2011}}
@inproceedings{ChaPRS09,
Author = {Chakaravarthy, Venkatesan T. and Pandit, Vinayaka and Roy, Sambuddha and Sabharwal, Yogish},
Booktitle = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP)},
Editor = {Albers, Susanne and Marchetti-Spaccamela, Alberto and Matias, Yossi and Nikoletseas, Sotiris E. and Thomas, Wolfgang},
Month = {July},
Pages = {210--221},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Approximating Decision Trees with Multiway Branches},
Volume = {5555},
Year = {2009}}
@article{Char16,
Acmid = {2904143},
Address = {USA},
Author = {Char, Bruce},
Issn = {1937-4771},
Issue_Date = {April 2016},
Journal = {J. Comput. Sci. Coll.},
Month = apr,
Number = {4},
Numpages = {7},
Pages = {87--93},
Publisher = {Consortium for Computing Sciences in Colleges},
Title = {Automatic Feedback Systems for Code: What Can They Tell the Busy Instructor?},
Url = {http://dl.acm.org/citation.cfm?id=2904127.2904143},
Volume = {31},
Year = {2016},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=2904127.2904143}}
@inproceedings{Che06,
Author = {Chen, Yan},
Booktitle = {Proceedings of the 2nd International Conference on Advances in Computer Science and Technology (IASTED)},
Editor = {Sahni, Sartaj},
Month = {January},
Pages = {91--94},
Publisher = {IASTED/ACTA Press},
Title = {An Efficient Search Algorithm for Partially Ordered Sets},
Year = {2006}}
@inproceedings{CheC93,
_Publisher = {IASTED/ACTA Press},
Author = {T. Y. Chen and Y. Y. Cheung},
Booktitle = {1993 Conference on Software Maintenance},
Doi = {10.1109/ICSM.1993.366925},
Month = {September},
Pages = {378--385},
Title = {Dynamic program dicing},
Year = {1993},
Bdsk-Url-1 = {https://doi.org/10.1109/ICSM.1993.366925}}
@article{CheX01,
Acmid = {375420},
Address = {New York, NY, USA},
Author = {Chen, Zhenqiang and Xu, Baowen},
Doi = {10.1145/375431.375420},
Issn = {0362-1340},
Issue_Date = {April 1, 2001},
Journal = {SIGPLAN Not.},
Month = apr,
Number = {4},
Numpages = {7},
Pages = {41--47},
Publisher = {ACM},
Title = {Slicing Concurrent Java Programs},
Url = {http://doi.acm.org/10.1145/375431.375420},
Volume = {36},
Year = {2001},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/375431.375420},
Bdsk-Url-2 = {https://doi.org/10.1145/375431.375420}}
@inproceedings{CicJLM10,
Author = {Cicalese, Ferdinando and Jacobs, Tobias and Laber, Eduardo Sany and Molinaro, Marco},
Booktitle = {Proceedings of the 21st International Symposium on Algorithms and Computation (ISAAC)},
Editor = {Cheong, Otfried and Chwa, Kyung-Yong and Park, Kunsoo},
Pages = {206--217},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {On Greedy Algorithms for Decision Trees},
Volume = {6507},
Year = {2010}}
@article{ClaH00,
Acmid = {351266},
Address = {New York, NY, USA},
Author = {Claessen, Koen and Hughes, John},
Doi = {10.1145/357766.351266},
Issn = {0362-1340},
Journal = {SIGPLAN Not.},
Month = {sept},
Number = {9},
Pages = {268--279},
Publisher = {ACM},
Title = {Quick{C}heck: A Lightweight Tool for Random Testing of {H}askell Programs},
Url = {http://doi.acm.org/10.1145/357766.351266},
Volume = {35},
Year = {2000},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/357766.351266},
Bdsk-Url-2 = {https://doi.org/10.1145/357766.351266}}
@article{CicJLM11,
Author = {Cicalese, Ferdinando and Jacobs, Tobias and Laber, Eduardo Sany and Molinaro, Marco},
Journal = {Theoretical Computer Science (TCS)},
Number = {50},
Pages = {6879--6896},
Title = {On the Complexity of Searching in Trees and Partially Ordered Structures},
Volume = {412},
Year = {2011}}
@article{CicJLM12,
Author = {Cicalese, Ferdinando and Jacobs, Tobias and Laber, Eduardo and Molinaro, Marco},
Journal = {Algorithmica},
Pages = {1--30},
Title = {Improved Approximation Algorithms for the Average-Case Tree Searching Problem},
Year = {2012}}
@inproceedings{CleZ00,
Author = {Holger Cleve and Andreas Zeller},
Booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging},
Location = {Munich, Germany},
Month = {August},
Title = {Finding Failure Causes through Automated Testing},
Year = {2000}}
@article{Cli98,
Acmid = {277719},
Address = {New York, NY, USA},
Author = {Clinger, William},
Doi = {10.1145/277652.277719},
Issn = {0362-1340},
Journal = {ACM SIGPLAN Notices},
Month = {May},
Number = {5},
Numpages = {12},
Pages = {174--185},
Publisher = {ACM},
Title = {Proper Tail Recursion and Space Efficiency},
Url = {http://doi.acm.org/10.1145/277652.277719},
Volume = {33},
Year = {1998},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/277652.277719},
Bdsk-Url-2 = {https://doi.org/10.1145/277652.277719}}
@inproceedings{CohHJ02,
Author = {Cohen, William and Hurst, Matthew and Jensen, Lee},
Booktitle = {Proceedings of the 11th International Conference on World Wide Web (WWW'02)},
Doi = {10.1145/511446.511477},
Isbn = {1-58113-449-5},
Location = {Honolulu (Hawaii / USA)},
Month = {May},
Pages = {232--241},
Publisher = {ACM},
Title = {A Flexible Learning System for Wrapping Tables and Lists in {HTML} Documents},
Year = {2002},
Bdsk-Url-1 = {https://doi.org/10.1145/511446.511477}}
@article{ComLCV99,
Author = {Comini, Marco and Levi, Giorgio and Chiara Meo, Maria and Vitiello, Giuliana},
Doi = {http://dx.doi.org/10.1016/S0743-1066(98)10033-X},
Issn = {0743-1066},
Journal = {The Journal of Logic Programming},
Number = {1-3},
Pages = {43--93},
Title = {Abstract {D}iagnosis},
Url = {http://www.sciencedirect.com/science/article/pii/S074310669810033X},
Volume = {39},
Year = {1999},
Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/S074310669810033X},
Bdsk-Url-2 = {http://dx.doi.org/10.1016/S0743-1066(98)10033-X}}
@inproceedings{CouC77,
Author = {Cousot, Patrick and Cousot, Radhia},
Booktitle = {Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'77)},
Pages = {238--252},
Title = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints},
Year = {1977}}
@misc{Han06,
Author = {Hanus, Michael},
Howpublished = {Available at: \url{http://www.informatik.uni-kiel.de/~curry/}},
Title = {Curry: An Integrated Functional Logic Language (Version 0.8.2 of March 28, 2006)},
Year = {2006}}
@inproceedings{DalCC11,
Author = {Dalvi, Bhavana Bharat and Cohen, William and Callan, Jamie},
Booktitle = {Proceedings of the 5th International Conference on Web Search and Web Data Mining (WSDM 12)},
Doi = {10.1145/2124295.2124327},
Editor = {Adar, Eytan and Teevan, Jaime and Agichtein, Eugene and Maarek, Yoelle},
Isbn = {978-1-4503-0747-5},
Location = {Seattle (Washington / USA)},
Month = {February},
Pages = {243--252},
Publisher = {ACM},
Title = {Web{S}ets: Extracting Sets of Entities From the Web Using Unsupervised Information Extraction},
Year = {2012},
Bdsk-Url-1 = {https://doi.org/10.1145/2124295.2124327}}
@article{DanBHHKL11,
Author = {Danicic, Sebastian and Barraclough, Richard and Harman, Mark and Howroyd, John and Kiss, ?kos and Laurence, Michael},
Doi = {10.1016/j.tcs.2011.08.033},
Journal = {Theoretical Computer Science},
Month = {11},
Pages = {6809-6842},
Title = {A unifying theory of control dependence and its application to arbitrary program structures},
Volume = {412},
Year = {2011},
Bdsk-Url-1 = {https://doi.org/10.1016/j.tcs.2011.08.033}}
@article{SongSL15,
Author = {Song, Dandan and Sun, Fei and Liao, Lejian},
Doi = {10.1007/s10115-013-0687-x},
Issn = {0219-1377},
Journal = {Knowledge and Information Systems},
Keywords = {Content extraction; Text density; Visual importance},
Language = {English},
Number = {1},
Pages = {75--96},
Publisher = {Springer London},
Title = {A Hybrid Approach for Content Extraction with text density and visual importance of {DOM} nodes},
Url = {http://dx.doi.org/10.1007/s10115-013-0687-x},
Volume = {42},
Year = {2015},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/s10115-013-0687-x}}
@inproceedings{Das04,
Author = {Dasgupta, Sanjoy},
Booktitle = {Advances in Neural Information Processing Systems (NIPS)},
Pages = {337--344},
Publisher = {MIT Press},
Title = {Analysis of a Greedy Active Learning Strategy},
Year = {2004}}
@article{DasKMRV07,
Author = {Daskalakis, Constantinos and Karp, Richard M. and Mossel, Elchanan and Riesenfeld, Samantha and Verbin, Elad},
Journal = {Computing Research Repository (CoRR)},
Title = {Sorting and Selection in Posets},
Volume = {abs/0707.1532},
Year = {2007}}
@inproceedings{DavC05,
Author = {Davie, Thomas and Chitil, Olaf},
Booktitle = {Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages (IFL'05)},
Editor = {Butterfield, Andrew},
Month = {sep},
Pages = {11},
Title = {Hat-delta: One Right Does Make a Wrong},
Year = {2005}}
@inproceedings{DavC06,
Author = {Davie, Thomas and Chitil, Olaf},
Booktitle = {Proceedings of the 7th Symposium on Trends in Functional Programming (TFP'06)},
Keywords = {debugging, tracing, Hat, Haskell},
Month = {April},
Title = {Hat-delta: One Right Does Make a Wrong},
Year = {2006}}
@inproceedings{DeHHK03,
Acmid = {873584},
Address = {Washington, DC, USA},
Author = {De Lucia, Andrea and Harman, Mark and Hierons, Robert and Krinke, Jens},
Booktitle = {Proceedings of the Seventh European Conference on Software Maintenance and Reengineering},
Isbn = {0-7695-1902-4},
Pages = {363--},
Publisher = {IEEE Computer Society},
Series = {CSMR '03},
Title = {Unions of Slices Are Not Slices},
Url = {http://dl.acm.org/citation.cfm?id=872754.873584},
Year = {2003},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=872754.873584}}
@inproceedings{DemirSAY10,
Author = {{\"O}nder Demir and A. Sebnem Soysal and Ahmet Arslan and {\"O}zg{\"u}r Y Burcu Y{\"u}rekli and lmazel},
Booktitle = {Proceedings of the 2010 Computer Science Education: Innovation and Technology},
Title = {Automatic Grading System for Programming Homework},
Year = {2010}}
@article{DeMPS96,
Address = {New York, NY, USA},
Author = {DeMillo, Richard A. and Pan, Hsin and Spafford, Eugene H.},
Doi = {10.1145/226295.226310},
Issn = {0163-5948},
Journal = {SIGSOFT Softw. Eng. Notes},
Month = {May},
Number = {3},
Pages = {121--134},
Publisher = {ACM},
Title = {Critical Slicing for Software Fault Localization},
Url = {http://doi.acm.org/10.1145/226295.226310},
Volume = {21},
Year = {1996},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/226295.226310},
Bdsk-Url-2 = {https://doi.org/10.1145/226295.226310}}
@inproceedings{DeNeroSPN17,
_Publisher = {ACM},
Acmid = {3017686},
Address = {New York, NY, USA},
Author = {DeNero, John and Sridhara, Sumukh and P{\'e}rez-Qui\~{n}ones, Manuel and Nayak, Aatish and Leong, Ben},
Booktitle = {Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education},
Doi = {10.1145/3017680.3017686},
Isbn = {978-1-4503-4698-6},
Keywords = {autograders, automatic grading, computer science education},
Location = {Seattle, Washington, USA},
Numpages = {2},
Pages = {651--652},
Series = {SIGCSE '17},
Title = {Beyond Autograding: Advances in Student Feedback Platforms},
Url = {http://doi.acm.org/10.1145/3017680.3017686},
Year = {2017},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/3017680.3017686},
Bdsk-Url-2 = {https://doi.org/10.1145/3017680.3017686}}
@article{Der08,
Author = {Dereniowski, Dariusz},
Journal = {Discrete Applied Mathematics (DAM)},
Number = {13},
Pages = {2493--2500},
Title = {Edge Ranking and Searching in Partial Orders},
Volume = {156},
Year = {2008}}
@article{ElmG00,
Author = {Elmroth, Erik and Gustavson, Fred Gehrung},
Doi = {10.1147/rd.444.0605},
Journal = {IBM Journal of Research and Development},
Number = {4},
Pages = {605--624},
Title = {Applying Recursion to Serial and Parallel {QR} Factorization Leads to Better Performance},
Url = {http://dx.doi.org/10.1147/rd.444.0605},
Volume = {44},
Year = {2000},
Bdsk-Url-1 = {http://dx.doi.org/10.1147/rd.444.0605}}
@article{EraJ10,
Address = {Los Alamitos, CA, USA},
Author = {Erascu, Madalina and Jebelean, Tudor},
Doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2010.64},
Isbn = {978-0-7695-4324-6},
Journal = {13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
Pages = {142--149},
Publisher = {IEEE Computer Society},
Title = {A Purely Logical Approach to the Termination of Imperative Loops},
Volume = {0},
Year = {2010},
Bdsk-Url-1 = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2010.64}}
@inproceedings{FadC15,
Author = {Faddegon, Maarten and Chitil, Olaf},
Booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015)},
Pages = {33--42},
Title = {Algorithmic {D}ebugging of Real-World {H}askell Programs: Deriving Dependencies From the Cost Centre Stack},
Volume = {50},
Year = {2015}}
@article{FaiLST86,
Author = {Faigle and Lovasz and Schrader and Turan},
Journal = {SIAM Journal on Computing (SICOMP)},
Title = {Searching in Trees, Series-Parallel and Interval Orders},
Volume = {15},
Year = {1986}}
@inproceedings{FerO83,
Address = {New York, NY, USA},
Author = {Ferrante, Jeanne and Ottenstein, Karl J.},
Booktitle = {Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
Isbn = {0-89791-090-7},
Pages = {217--236},
Publisher = {ACM},
Series = {POPL '83},
Title = {A Program Form Based on Data Dependency in Predicate Regions},
Year = {1983}}
@article{FerOW87,
Author = {Ferrante, Jeanne and Ottenstein, Karl J. and Warren, Joe D.},
Journal = {ACM Transactions on Programming Languages and Systems},
Number = {3},
Pages = {319--349},
Publisher = {ACM, New York},
Title = {The Program Dependence Graph and Its Use in Optimization},
Volume = {9},
Year = {1987}}
@inproceedings{FerZBB08,
Author = {Ferraresi, Adriano and Zanchetta, Eros and Baroni, Marco and Bernardini, Silvia},
Booktitle = {Proceedings of the 4th Web as Corpus Workshop (WAC-4)},
Pages = {47--54},
Title = {Introducing and Evaluating {ukWaC}, a Very Large Web-Derived Corpus of English},
Year = {2008}}
@inproceedings{FieRT95,
Acmid = {199534},
Address = {New York, NY, USA},
Author = {Field, John and Ramalingam, Ganesan and Tip, Frank},
Booktitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '95)},
Isbn = {0-89791-692-1},
Location = {San Francisco, California, United States},
Numpages = {14},
Pages = {379--392},
Publisher = {ACM},
Title = {Parametric {P}rogram {S}licing},
Year = {1995}}
@article{Fil94,
Affiliation = {School of Computer Science Carnegie Mellon University 15213-3891 Pittsburgh PA},
Author = {Filinski, Andrzej},
Issn = {0892-4635},
Issue = {1},
Journal = {LISP and Symbolic Computation},
Keyword = {Computer Science},
Pages = {11--37},
Publisher = {Springer Netherlands},
Title = {Recursion From Iteration},
Url = {http://dx.doi.org/10.1007/BF01019943},
Volume = {7},
Year = {1994},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/BF01019943}}
@inproceedings{FinKS01,
Author = {Finn, Aidan and Kushmerick, Nicholas and Smyth, Barry},
Booktitle = {DELOS Workshop: Personalisation and Recommender Systems in Digital Libraries},
Location = {Dublin (Ireland)},
Month = {June},
Pages = {1--6},
Title = {Fact or Fiction: Content Classification for Digital Libraries},
Url = {http://www.ercim.org/publication/ws-proceedings/DelNoe02/AidanFinn.pdf},
Year = {2001},
Bdsk-Url-1 = {http://www.ercim.org/publication/ws-proceedings/DelNoe02/AidanFinn.pdf}}
@misc{Fon12,
Author = {Fonseca, Alcides},
Howpublished = {Available at: \url{https://github.com/AEminium/loops2recursion/}},
Title = {AEminium/loops2recursion Java Library},
Year = {2012}}
@inproceedings{FraA11,
_Publisher = {ACM},
Address = {New York, NY, USA},
Author = {Fraser, Gordon and Arcuri, Andrea},
Booktitle = {Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering},
Isbn = {978-1-4503-0443-6},
Location = {Szeged, Hungary},
Pages = {416--419},
Series = {ESEC/FSE '11},
Title = {Evo{S}uite: Automatic Test Suite Generation for Object-Oriented Software},
Year = {2011}}
@article{FriSKG92,
Author = {Fritzson, Peter and Shahmehri, Nahid and Kamkar, Mariam and Gyim\'othy, Tibor},
Journal = {ACM Letters on Programming Languages and Systems (LOPLAS)},
Month = {December},
Number = {4},
Pages = {303--322},
Title = {Generalized Algorithmic Debugging and Testing},
Volume = {1},
Year = {1992}}
@article{Gar72,
Author = {Garey, M. R.},
Journal = {SIAM Journal on Applied Mathematics (SIAP)},
Month = {sep},
Number = {2},
Pages = {173--186},
Title = {Optimal Binary Identification Procedures},
Volume = {23},
Year = {1972}}
@article{GarW77,
Author = {Garsia and Wachs},
Journal = {SIAM Journal on Computing (SICOMP)},
Title = {A New Algorithm for Minimum Cost Binary Trees},
Volume = {6},
Year = {1977}}
@article{GeoBE07,
Address = {New York, NY, USA},
Author = {Georges, Andy and Buytaert, Dries and Eeckhout, Lieven},
Doi = {10.1145/1297105.1297033},
Issn = {0362-1340},
Journal = {SIGPLAN Not.},
Keywords = {benchmarking, data analysis, java, methodology, statistics},
Month = {October},
Number = {10},
Pages = {57--76},
Publisher = {ACM},
Title = {Statistically Rigorous {J}ava Performance Evaluation},
Url = {http://doi.acm.org/10.1145/1297105.1297033},
Volume = {42},
Year = {2007},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1297105.1297033},
Bdsk-Url-2 = {https://doi.org/10.1145/1297105.1297033}}
@inproceedings{GesJ04,
Address = {New York, NY, USA},
Author = {Gestwicki, Paul and Jayaraman, Bharat},
Booktitle = {Companion to the 19th Annual ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'04)},
Isbn = {1-58113-833-4},
Location = {Vancouver, BC, CANADA},
Pages = {226--228},
Publisher = {ACM Press},
Title = {{JIVE}: {J}ava Interactive Visualization Environment},
Year = {2004}}
@inproceedings{Geu92,
Author = {Geuvers, Herman},
Booktitle = {Proceedings of the Workshop on Types for Proofs and Programs},
Pages = {193--217},
Title = {Inductive and Coinductive Types with Iteration and Recursion},
Year = {1992}}
@techreport{Gia09,
Author = {Giammona, David},
Institution = {ADF Declarative Debugger Archives},
Month = {November},
Title = {{ORACLE ADF} - Putting It Together},
Url = {http://blogs.oracle.com/DavidGiammona/adf_declarative_debugger},
Year = {2009},
Bdsk-Url-1 = {http://blogs.oracle.com/DavidGiammona/adf_declarative_debugger}}
@inproceedings{GiaPS15,
Author = {Giantsios, Aggelos and Papaspyrou, Nikolaos and Sagonas, Konstantinos},
Booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP '15)},
Doi = {10.1145/2790449.2790519},
Isbn = {978-1-4503-3516-4},
Location = {New York, NY, USA},
Pages = {137--148},
Publisher = {ACM},
Title = {Concolic Testing for Functional Languages},
Year = {2015},
Bdsk-Url-1 = {https://doi.org/10.1145/2790449.2790519}}
@inproceedings{GibPT05,
Author = {Gibson, David and Punera, Kunal and Tomkins, Andrew},
Booktitle = {Proceedings of the 14th International Conference on World Wide Web (WWW'05)},
Doi = {10.1145/1062745.1062763},
Editor = {Ellis, Allan and Hagino, Tatsuya},
Isbn = {1-59593-051-5},
Location = {Chiba (Japan)},
Month = {May},
Pages = {830--839},
Publisher = {ACM},
Title = {The Volume and Evolution of Web Page Templates},
Year = {2005},
Bdsk-Url-1 = {https://doi.org/10.1145/1062745.1062763}}
@inproceedings{GibWL07,
Author = {Gibson, John and Wellner, Ben and Lubar, Susan},
Booktitle = {Proceedings of the 9th ACM International Workshop on Web Information and Data Management (WIDM'07)},
Doi = {10.1145/1316902.1316920},
Editor = {Fundulaki, Irini and Polyzotis, Neoklis},
Isbn = {978-1-59593-829-9},
Location = {Lisbon (Portugal)},
Month = {November},
Pages = {105--112},
Publisher = {ACM},
Title = {Adaptive Web-Page Content Identification},
Year = {2007},
Bdsk-Url-1 = {https://doi.org/10.1145/1316902.1316920}}
@inproceedings{GifH07,
Address = {Maison Internationale, Paris},
Author = {Dennis Giffhorn and Christian Hammer},
Booktitle = {Proceedings of the 7th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM'07)},
Doi = {10.1109/SCAM.2007.9},
Month = {sep},
Pages = {17--26},
Publisher = {IEEE},
Title = {An Evaluation of Slicing Algorithms for Concurrent Programs},
Year = {2007},
Bdsk-Url-1 = {https://doi.org/10.1109/SCAM.2007.9}}
@article{GilM59,
Author = {Gilbert, E. N. and Moore, E. F.},
Journal = {Bell System Technical Journal (BSTJ)},
Month = {July},
Pages = {933--966},
Title = {Variable-Length Binary Encodings},
Volume = {38},
Year = {1959}}
@techreport{GirJ06,
Author = {Girgis, Hani and Jayaraman, Bharat},
Institution = {University at Buffalo},
Title = {Java{DD}: a Declarative Debugger for {J}ava},
Year = {2006}}
@mastersthesis{GonDS06,
Author = {Gonz\'alez-Blanch, Francisco and De~Miguel, Reyes and Serrano, Susana},
Note = {Available at: \url{http://eprints.ucm.es/9114/}},
School = {Universidad Complutense de Madrid},
Title = {Depurador Declarativo de Programas {J}ava},
Year = {2006}}
@inproceedings{Got07,
Author = {Gottron, Thomas},
Booktitle = {Proceedings of the 2nd International Conference on Internet Technologies and Applications (ITA'07)},
Editor = {Grout, Vic and Oram, Denise and Picking, Rich},
Isbn = {978-0-9468-8154-3},
Location = {Wrexham (United Kingdom)},
Month = {sep},
Pages = {123--132},
Publisher = {National Assembly for Wales},
Title = {Evaluating Content Extraction on {HTML} Documents},
Year = {2007}}
@inproceedings{Got08,
Author = {Gottron, Thomas},
Booktitle = {Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA'08)},
Doi = {10.1109/DEXA.2008.43},
Editor = {Tjoa, A. Min and Wagner, Roland R.},
Isbn = {978-0-7695-3299-8},
Location = {Turin (Italy)},
Month = {sep},
Pages = {29--33},
Publisher = {IEEE Computer Society},
Title = {Content Code Blurring: A New Approach to Content Extraction},
Year = {2008},
Bdsk-Url-1 = {https://doi.org/10.1109/DEXA.2008.43}}
@article{GuiB09,
Author = {Guillory, Andrew and Bilmes, Jeff},
Journal = {Computing Research Repository (CoRR)},
Title = {Average-Case Active Learning with Costs},
Volume = {abs/0905.2997},
Year = {2009}}
@inproceedings{GupKNG03,
Author = {Gupta, Suhit and Kaiser, Gail E. and Neistadt, David and Grimm, Peter},
Booktitle = {Proceedings of the 12th International Conference on World Wide Web (WWW'03)},
Doi = {10.1145/775152.775182},
Isbn = {1-58113-680-3},
Location = {Budapest (Hungary)},
Month = {May},
Pages = {207--214},
Publisher = {ACM},
Title = {{DOM}-Based Content Extraction of {HTML} Documents},
Year = {2003},
Bdsk-Url-1 = {https://doi.org/10.1145/775152.775182}}
@inproceedings{GupNR10,
Author = {Gupta, Anupam and Nagarajan, Viswanath and Ravi, R.},
Booktitle = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)},
Editor = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Heide, Friedhelm Meyer auf der and Spirakis, Paul G.},
Month = {July},
Pages = {690--701},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Approximation Algorithms for Optimal Decision Trees and Adaptive {TSP} Problems},
Volume = {6198},
Year = {2010}}
@article{Gus97,
Author = {Gustavson, Fred Gehrung},
Doi = {10.1147/rd.416.0737},
Journal = {IBM Journal of Research and Development},
Number = {6},
Pages = {737--756},
Title = {Recursion Leads to Automatic Variable Blocking for Dense Linear-Algebra Algorithms},
Url = {http://dx.doi.org/10.1147/rd.416.0737},
Volume = {41},
Year = {1997},
Bdsk-Url-1 = {http://dx.doi.org/10.1147/rd.416.0737}}
@article{HajF12,
Author = {Hajnal, \'Akos and Forg\'acs, Istv\'an},
Date-Modified = {2020-03-03 17:22:15 +0100},
Journal = {Journal of Software Maintenance},
Keywords = {cobol,program slicing},
Number = {1},
Pages = {67--82},
Title = {A Demand-Driven Approach to Slicing Legacy {COBOL} Systems},
Url = {http://dblp.uni-trier.de/db/journals/smr/smr24.html#HajnalF12},
Volume = {24},
Year = {2012},
Bdsk-Url-1 = {http://dblp.uni-trier.de/db/journals/smr/smr24.html#HajnalF12}}
@article{Hall95,
Author = {Hall, Robert J.},
Doi = {10.1007/BF00873408},
Issn = {1573-7535},
Journal = {Automated Software Engineering},
Month = {March},
Number = {1},
Numpages = {21},
Pages = {33--53},
Title = {Automatic extraction of executable program subsets by simultaneous dynamic program slicing},
Url = {https://doi.org/10.1007/BF00873408},
Volume = {2},
Year = {1995},
Bdsk-Url-1 = {https://doi.org/10.1007/BF00873408}}
@inproceedings{Han90,
Acmid = {91603},
Address = {New York, NY, USA},
Author = {Hanson, Chris},
Booktitle = {Proceedings of the 1990 ACM conference on LISP and Functional Programming (LFP'90)},
Doi = {10.1145/91556.91603},
Isbn = {0-89791-368-X},
Location = {Nice, France},
Numpages = {13},
Pages = {106--118},
Publisher = {ACM},
Title = {Efficient Stack Allocation for Tail-Recursive Languages},
Url = {http://doi.acm.org/10.1145/91556.91603},
Year = {1990},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/91556.91603},
Bdsk-Url-2 = {https://doi.org/10.1145/91556.91603}}
@article{HarK92,
Acmid = {131061},
Address = {Essex, UK},
Author = {Harrison, Peter George and Khoshnevisan, Hessam},
Doi = {10.1016/0304-3975(92)90213-Y},
Issn = {0304-3975},
Issue_Date = {February 3, 1992},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = {February},
Number = {1},
Numpages = {23},
Pages = {91--113},
Publisher = {Elsevier Science Publishers Ltd.},
Title = {A New Approach to Recursion Removal},
Url = {http://dx.doi.org/10.1016/0304-3975(92)90213-Y},
Volume = {93},
Year = {1992},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/0304-3975(92)90213-Y}}
@article{HeeIT10,
Author = {Heeringa, Brent and Iordan, Marius Catalin and Theran, Louis},
Journal = {Computing Research Repository (CoRR)},
Title = {Searching in Dynamic Tree-Like Partial Orders},
Volume = {abs/1010.1316},
Year = {2010}}
@incollection{HerK13,
Author = {Hermanns, Christian and Kuchen, Herbert},
Booktitle = {Software and Data Technologies},
Doi = {10.1007/978-3-642-36177-7_6},
Editor = {Escalona, Mar\'ia~Jos\'e and Cordeiro, Jos\'e and Shishkov, Boris},
Isbn = {978-3-642-36176-0},
Keywords = {Java; Debugging; Hybrid; Declarative; Omniscient; Coverage criteria; Divide and query},
Month = {January},
Pages = {91--107},
Publisher = {Springer Berlin Heidelberg},
Series = {Communications in Computer and Information Science},
Title = {Hybrid Debugging of {J}ava Programs},
Url = {http://dx.doi.org/10.1007/978-3-642-36177-7_6},
Volume = {303},
Year = {2013},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-36177-7_6}}
@inproceedings{HirH93,
Author = {Hirunkitti, Visit and Hogger, Christopher John},
Booktitle = {Proceedings of the 1st International Workshop of Automated and Algorithmic Debugging (AADEBUG'93)},
Pages = {153--170},
Publisher = {Springer LNCS 749},
Title = {A Generalised Query Minimisation for Program Debugging},
Year = {1993}}
@inproceedings{HofDD06,
Address = {Erfurt, Germany},
Author = {Hofer, Christoph and Denker, Marcus and Ducasse, St\'ephane},
Booktitle = {Proceedings of NODe 2006},
Ee = {http://subs.emis.de/LNI/Proceedings/Proceedings88/article4673.html},
Month = {sep},
Pages = {17--32},
Publisher = {Lecture Notes in Informatics},
Title = {Design and Implementation of a Backward-In-Time Debugger},
Volume = {P-88},
Year = {2006}}
@techreport{Hoff95,
Address = {Sweden},
Author = {Hoffner, Tommy},
Institution = {LiTH-IDA-R-95-01 Department of Computer and Information Science, University of Kent, Linkping University: Sweden},
Title = {Evaluation and Comparison of {P}rogram {S}licing Tools},
Year = {1995}}
@inproceedings{HorwitzRB88,
Acmid = {53994},
Address = {New York, NY, USA},
Author = {Horwitz, Susan and Reps, Thomas and Binkley, David},
Booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation},
Doi = {10.1145/53990.53994},
Isbn = {0-89791-269-1},
Location = {Atlanta, Georgia, USA},
Numpages = {12},
Pages = {35--46},
Publisher = {ACM},
Series = {PLDI '88},
Title = {Interprocedural Slicing Using Dependence Graphs},
Url = {http://doi.acm.org/10.1145/53990.53994},
Year = {1988},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/53990.53994},
Bdsk-Url-2 = {https://doi.org/10.1145/53990.53994}}
@article{HorRB90,
Address = {New York, NY, USA},
Author = {Horwitz, Susan and Reps, Thomas and Binkley, David},
Issn = {0164-0925},
Journal = {ACM Transactions Programming Languages and Systems},
Number = {1},
Pages = {26--60},
Publisher = {ACM Press},
Title = {Interprocedural Slicing Using Dependence Graphs},
Volume = {12},
Year = {1990}}
@article{HorRB90b,
Address = {New York, NY, USA},
Author = {Horwitz, Susan and Reps, Thomas and Binkley, David},
Issue_Date = {January 1990},
Journal = {ACM Transactions Programming Languages and Systems},
Keywords = {control dependence, data dependence, program dependence graph, program slicing},
Month = January,
Number = {1},
Pages = {26--60},
Publisher = {ACM},
Title = {Interprocedural Slicing Using Dependence Graphs},
Volume = {12},
Year = {1990}}
@article{HorwitzRB04,
Acmid = {989419},
Address = {New York, NY, USA},
Author = {Horwitz, Susan and Reps, Thomas and Binkley, David},
Doi = {10.1145/989393.989419},
Issn = {0362-1340},
Issue_Date = {April 2004},
Journal = {SIGPLAN Not.},
Month = April,
Number = {4},
Numpages = {15},
Pages = {229--243},
Publisher = {ACM},
Title = {Interprocedural Slicing Using Dependence Graphs},
Url = {http://doi.acm.org/10.1145/989393.989419},
Volume = {39},
Year = {2004},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/989393.989419},
Bdsk-Url-2 = {https://doi.org/10.1145/989393.989419}}
@article{Bin93,
Acmid = {176473},
Address = {New York, NY, USA},
Author = {Binkley, David},
Issn = {1057-4514},
Issue_Date = {March\&\#8211;December 1993},
Journal = {ACM Letters on Programming Languages and Systems},
Keywords = {control dependence, data dependence, program dependence graph, program slicing},
Month = {March},
Number = {1-4},
Numpages = {15},
Pages = {31--45},
Publisher = {ACM},
Title = {Precise Executable Interprocedural Slices},
Volume = {2},
Year = {1993}}
@article{HuT71,
Author = {Hu, T. C. and Tucker, A. C.},
Journal = {SIAM Journal on Applied Mathematics (SIAP)},
Month = {December},
Number = {4},
Title = {Optimal Computer Search Trees and Variable-Length Alphabetic Codes},
Volume = {21},
Year = {1971}}
@article{IyeRV91,
Author = {Iyer, Ananth V. and Ratliff, H. Donald and Vijayan, Gopalakrishnan},
Journal = {Discrete Applied Mathematics (DAM)},
Number = {1},
Pages = {43--52},
Title = {On an Edge Ranking Problem of Trees and Graphs},
Volume = {30},
Year = {1991}}
@techreport{JacR94,
Author = {Daniel Jackson and Eugene J. Rollins},
Institution = {In Proc. of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering},
Title = {Chopping: A Generalization of Slicing},
Year = {1994}}
@inproceedings{JacCLM10,
Author = {Jacobs, Tobias and Cicalese, Ferdinando and Laber, Eduardo Sany and Molinaro, Marco},
Booktitle = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP)},
Editor = {Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Heide, Friedhelm Meyer auf der and Spirakis, Paul G.},
Month = {July},
Pages = {527--539},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {On the Complexity of Searching in Trees: Average-Case Minimization},
Volume = {6198},
Year = {2010}}
@inproceedings{Jamil17,
Author = {H. M. Jamil},
Booktitle = {2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT)},
Doi = {10.1109/ICALT.2017.147},
Month = {July},
Pages = {261-263},
Title = {Automated Personalized Assessment of Computational Thinking MOOC Assignments},
Year = {2017},
Bdsk-Url-1 = {https://doi.org/10.1109/ICALT.2017.147}}
@inproceedings{JasSM11,
Address = {New York, NY, USA},
Author = {Snyder, Jason and Edwards, Stephen H. and P{\'e}rez-Qui\~{n}ones, Manuel A.},
Booktitle = {Proceedings of the 42Nd ACM Technical Symposium on Computer Science Education (SIGCSE '11)},
Isbn = {978-1-4503-0500-6},
Pages = {643--648},
Publisher = {ACM},
Title = {LIFT: Taking GUI Unit Testing to New Heights},
Url = {http://doi.acm.org/10.1145/1953163.1953343},
Year = {2011},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1953163.1953343}}
@inproceedings{JiaZSJ06,
Author = {S. {Jiang} and S. {Zhou} and Y. {Shi} and Y. {Jiang}},
Booktitle = {2006 15th International Conference on Computing},
Doi = {10.1109/CIC.2006.40},
Keywords = {data flow graphs;exception handling;program control structures;program testing;reverse engineering;software maintenance;exception analysis;program dependence analysis;program source codes;program testing;program understanding;program maintenance;exception handling mechanism;C++ programs;exception control flow graph;program dependence graph;system dependence graph;Failure analysis;Computer science;Educational institutions;Computer languages;Robustness;Information analysis;Maintenance engineering;Testing;Flow graphs;Reliability},
Month = {Nov},
Pages = {277-282},
Publisher = {IEEE},
Title = {Improving the Preciseness of Dependence Analysis Using Exception Analysis},
Year = {2006},
Bdsk-Url-1 = {https://doi.org/10.1109/CIC.2006.40}}
@inproceedings{JieS11,
Author = {H. {Jie} and J. {Shu-juan} and H. {Jie}},
Booktitle = {2011 International Conference on Mechatronic Science, Electric Engineering and Computer (MEC)},
Date-Modified = {2020-03-03 18:00:34 +0100},
Doi = {10.1109/MEC.2011.6025605},
Keywords = {graph theory;object-oriented languages;program slicing;object-oriented language;program slicing;exception handling;system dependence graph;EOSDG;polymorphic object;Software maintenance;Educational institutions;Runtime;Software algorithms;Computers;Algorithm design and analysis;object-oriented;exception handling;program slicing;system-dependence graph;control-flow graph},
Month = {Aug},
Pages = {883-886},
Title = {An approach of slicing for Object-Oriented language with exception handling},
Year = {2011},
Bdsk-Url-1 = {https://doi.org/10.1109/MEC.2011.6025605}}
@inproceedings{JoC04,
Author = {Jo, Jang-Wu and Chang, Byeong-mo},
Doi = {10.1007/978-3-540-24707-4_14},
Month = {05},
Pages = {106-113},
Title = {Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow},
Year = {2004},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-540-24707-4_14}}
@article{KadD12,
Author = {Kadam, Vidya and Devale, Prakash R.},
Journal = {Indian Journal of Computer Science and Engineering (IJCSE)},
Month = {June-July},
Number = {3},
Title = {A Methodology for Template Extraction from Heterogeneous Web Pages},
Volume = {3},
Year = {2012}}
@article{Kni88,
Author = {Knight, William J.},
Journal = {SIAM Journal on Computing (SICOMP)},
Month = {December},
Number = {6},
Pages = {1203--1214},
Title = {Search in an Ordered Array Having Variable Probe Cost},
Volume = {17},
Year = {1988}}
@article{Knu71,
Author = {Knuth, Donald Ervin},
Journal = {Acta Informatica},
Month = {January},
Number = {1},
Pages = {14--25},
Title = {Optimum Binary Search Trees},
Volume = {1},
Year = {1971}}
@book{Knu73,
Author = {Knuth, Donald Ervin},
Edition = {Second},
Publisher = {Addison-Wesley},
Title = {The Art of Computer Programming},
Volume = {I: Fundamental Algorithms},
Year = {1973}}
@book{Knu98,
Author = {Knuth, Donald Ervin},
Publisher = {Addison-Wesley},
Title = {The Art of Computer Programming},
Volume = {3: Sorting and Searching},
Year = {1998}}
@inproceedings{Koh09,
Author = {Kohlsch\"utter, Christian},
Booktitle = {Proceedings of the 18th International Conference on World Wide Web (WWW'09)},
Doi = {10.1145/1526709.1526909},
Editor = {Quemada, Juan and Le\'on, Gonzalo and Maarek, Yo\"elle S. and Nejdl, Wolfgang},
Isbn = {978-1-60558-487-4},
Location = {Madrid (Spain)},
Month = {April},
Pages = {1165--1166},
Publisher = {ACM},
Title = {A Densitometric Analysis of Web Template Content},
Year = {2009},
Bdsk-Url-1 = {https://doi.org/10.1145/1526709.1526909}}
@inproceedings{KohFN10,
Author = {Kohlsch\"utter, Christian and Fankhauser, Peter and Nejdl, Wolfgang},
Booktitle = {Proceedings of the 3rd International Conference on Web Search and Web Data Mining (WSDM'10)},
Doi = {10.1145/1718487.1718542},
Editor = {Davison, Brian D. and Suel, Torsten and Craswell, Nick and Liu, Bing},
Isbn = {978-1-60558-889-6},
Location = {New York (New York / USA)},
Month = {February},
Pages = {441--450},
Publisher = {ACM},
Title = {Boilerplate Detection Using Shallow Text Teatures},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1145/1718487.1718542}}
@inproceedings{KohN08,
Author = {Kohlsch\"utter, Christian and Nejdl, Wolfgang},
Booktitle = {Proceedings of the 17th ACM Conference on Information and Knowledge Management (CIKM'08)},
Doi = {10.1145/1458082.1458237},
Editor = {Shanahan, James G. and Amer-Yahia, Sihem and Manolescu, Ioana and Zhang, Yi and Evans, David A. and Kolcz, Aleksander and Choi, Key-Sun and Chowdhury, Abdur},
Isbn = {978-1-59593-991-3},
Location = {Napa Valley (California / USA)},
Month = {October},
Pages = {1173--1182},
Publisher = {ACM},
Title = {A Densitometric Approach to Web Page Segmentation},
Year = {2008},
Bdsk-Url-1 = {https://doi.org/10.1145/1458082.1458237}}
@inproceedings{KokNN99,
Author = {K\'okai, Gabriella and Nilson, J\"org and Niss, Christian},
Booktitle = {Proceedings of the 2nd Workshop on Program Analysis for Software Tools and Engineering (PASTE'99)},
Location = {Toulouse, France},
Pages = {95--104},
Publisher = {ACM Press},
Title = {{GIDTS}: A Graphical Programming Environment for {P}rolog},
Year = {1999}}
@article{KorL88,
Author = {Bogdan Korel and Janusz Laski},
Doi = {https://doi.org/10.1016/0020-0190(88)90054-3},
Issn = {0020-0190},
Journal = {Information Processing Letters},
Keywords = {Slicing, dynamic slice, trajectory, data dependence, control dependence, debugging},
Number = {3},
Pages = {155 - 163},
Title = {Dynamic program slicing},
Url = {http://www.sciencedirect.com/science/article/pii/0020019088900543},
Volume = {29},
Year = {1988},
Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/0020019088900543},
Bdsk-Url-2 = {https://doi.org/10.1016/0020-0190(88)90054-3}}
@inproceedings{KosPB99,
Author = {Kosaraju and Przytycka and Borgstrom},
Booktitle = {Proceedings of the 6th International Workshop on Algorithms and Data Structures (WADS)},
Title = {On an Optimal Split Tree Problem},
Year = {1999}}
@inproceedings{KouY03,
Address = {Montreal, Canada},
Author = {Kouh, Hoon-Joon and Yoo, Weon-Hee},
Booktitle = {Proceedings of the 2003 Computational Science and Its Applications (ICCSA 2003)},
Editor = {Kumar, Vipin and Gavrilova, Martina L. and Kenneth Tan, Chih Jeng and L'Ecuyer, Pierre},
Ee = {http://dx.doi.org/10.1007/3-540-44839-X_72},
Isbn = {3-540-40155-5},
Month = {May},
Pages = {684--693},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {The Efficient Debugging System for Locating Logical Errors in {J}ava Programs},
Volume = {2667},
Year = {2003}}
@article{Kri98,
Acmid = {277638},
Address = {New York, NY, USA},
Author = {Krinke, Jens},
Doi = {10.1145/277633.277638},
Issn = {0362-1340},
Issue_Date = {July 1998},
Journal = {SIGPLAN Not.},
Month = jul,
Number = {7},
Numpages = {8},
Pages = {35--42},
Publisher = {ACM},
Title = {Static Slicing of Threaded Programs},
Url = {http://doi.acm.org/10.1145/277633.277638},
Volume = {33},
Year = {1998},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/277633.277638},
Bdsk-Url-2 = {https://doi.org/10.1145/277633.277638}}
@article{KriS98,
author = "Jens Krinke and Gregor Snelting",
title = "Validation of measurement software as an application of slicing and constraint solving",
journal = "Information and Software Technology",
volume = "40",
number = "11",
pages = "661 - 675",
year = "1998",
issn = "0950-5849",
doi = "https://doi.org/10.1016/S0950-5849(98)00090-1",
url = "http://www.sciencedirect.com/science/article/pii/S0950584998000901",
}
@inproceedings{KruHG05,
Author = {Kr\"upl, Bernhard and Herzog, Marcus and Gatterbauer, Wolfgang},
Booktitle = {Proceedings of the 14th International Conference on World Wide Web (WWW'05)},
Doi = {10.1145/1062745.1062838},
Editor = {Ellis, Allan and Hagino, Tatsuya},
Isbn = {1-59593-051-5},
Location = {Chiba (Japan)},
Month = {May},
Pages = {1000--1001},
Publisher = {ACM},
Title = {Using Visual Cues for Extraction of Tabular Data From Arbitrary {HTML} Documents},
Year = {2005},
Bdsk-Url-1 = {https://doi.org/10.1145/1062745.1062838}}
@inproceedings{KrusS18,
_Publisher = {ACM},
Acmid = {3159602},
Address = {New York, NY, USA},
Author = {Krusche, Stephan and Seitz, Andreas},
Booktitle = {Proceedings of the 49th ACM Technical Symposium on Computer Science Education},
Doi = {10.1145/3159450.3159602},
Isbn = {978-1-4503-5103-4},
Keywords = {automated assessment, continuous integration, in-class exercises, instant feedback, interactive exercise instructions, online courses, online editor, programming exercises, version control},
Location = {Baltimore, Maryland, USA},
Numpages = {6},
Pages = {284--289},
Series = {SIGCSE '18},
Title = {ArTEMiS: An Automatic Assessment Management System for Interactive Learning},
Url = {http://doi.acm.org/10.1145/3159450.3159602},
Year = {2018},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/3159450.3159602},
Bdsk-Url-2 = {https://doi.org/10.1145/3159450.3159602}}
@inproceedings{KumH02,
Author = {Sumit Kumar and Susan Horwitz},
Booktitle = {Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE 2002)},
Isbn = {3-540-43353-8},
Pages = {96--112},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Better Slicing of Programs with Jumps and Switches},
Volume = {2306},
Year = {2002}}
@article{KunSM12,
Author = {Kundu, Debasish and Samanta, Debasis and Mall, Rajib},
Journal = {ISRN Software Engineering},
Pages = {22},
Title = {An Approach to Convert XMI Representation of UML 2.x Interaction Diagram into Control Flow Graph},
Volume = {2012},
Year = {2012}}
@inproceedings{KusWD97,
Author = {Kushmerick, Nicholas and Weld, Daniel S. and Doorenbos, Robert B.},
Booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97)},
Editor = {Pollack, Martha E.},
Isbn = {978-1-5586-0480-3},
Location = {Nagoya (Japan)},
Month = {August},
Pages = {729--737},
Publisher = {Morgan Kaufmann},
Title = {Wrapper Induction for Information Extraction},
Year = {1997}}
@phdthesis{Kus97,
Author = {Kushmerick, Nicholas},
Isbn = {0-591-70843-4},
Note = {AAI9819266},
Publisher = {University of Washington},
Title = {Wrapper Induction for Information Extraction},
Year = {1997}}
@article{LabM11,
Author = {Laber, Eduardo Sany and Molinaro, Marco},
Journal = {Algorithmica},
Number = {4},
Pages = {601--620},
Title = {An Approximation Algorithm for Binary Searching in Trees},
Volume = {59},
Year = {2011}}
@inproceedings{LabMP99,
Author = {Laber and Milidiu and Pessoa},
Booktitle = {Proceedings of the 7th Annual European Symposium on Algorithms (ESA)},
Title = {Strategies for Searching with Different Access Costs},
Year = {1999}}
@inproceedings{LabMP01,
Author = {Laber and Milidiu and Pessoa},
Booktitle = {Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)},
Title = {On Binary Searching with Non-Uniform Costs},
Year = {2001}}
@article{LabN01,
Author = {Laber, Eduardo Sany and Nogueira, Loana Tito},
Journal = {Electronic Notes in Discrete Mathematics (ENDM)},
Pages = {90--93},
Title = {Fast Searching in Trees},
Volume = {7},
Year = {2001}}
@article{LabN04,
Author = {Laber and Nogueira},
Journal = {Discrete Applied Mathematics (DAM)},
Title = {On the Hardness of the Minimum Height Decision Tree Problem},
Volume = {144},
Year = {2004}}
@article{LamY01,
Author = {Lam and Yue},
Journal = {Algorithmica},
Title = {Optimal Edge Ranking of Trees in Linear Time},
Volume = {30},
Year = {2001}}
@article{Lar87,
Author = {Larmore, Lawrence L.},
Journal = {Journal of Algorithms},
Month = {December},
Number = {4},
Pages = {579--591},
Title = {A Subquadratic Algorithm for Constructing Approximately Optimal Binary Search Trees},
Volume = {8},
Year = {1987}}
@inproceedings{LarH96,
Acmid = {227837},
Address = {Washington, DC, USA},
Author = {Larsen, Loren and Harrold, Mary Jean},
Booktitle = {Proceedings of the 18th international conference on Software engineering},
Isbn = {0-8186-7246-3},
Location = {Berlin, Germany},
Numpages = {11},
Pages = {495--505},
Publisher = {IEEE Computer Society},
Series = {ICSE '96},
Title = {Slicing Object-Oriented Software},
Url = {http://dl.acm.org/citation.cfm?id=227726.227837},
Year = {1996},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=227726.227837}}
@article{Lew03,
Author = {Lewis, Bil},
Journal = {Available in the Computing Research Repository (\url{http://arxiv.org/abs/cs.SE/0310016)}},
Title = {Debugging Backwards in Time},
Volume = {cs.SE/0310016},
Year = {2003}}
@inproceedings{LiaH98,
Acmid = {853342},
Address = {Washington, DC, USA},
Author = {Liang, D. and Harrold, M. J.},
Booktitle = {Proceedings of the International Conference on Software Maintenance},
Isbn = {0-8186-8779-7},
Pages = {358--},
Publisher = {IEEE Computer Society},
Series = {ICSM '98},
Title = {Slicing Objects Using System Dependence Graphs},
Url = {http://dl.acm.org/citation.cfm?id=850947.853342},
Year = {1998},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=850947.853342}}
@inproceedings{LieGN08,
Author = {Lienhard, Adrian and Girba, Tudor and Nierstrasz, Oscar},
Booktitle = {Proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP'08)},
Pages = {592--615},
Publisher = {Springer},
Title = {Practical Object-Oriented Back-in-Time Debugging},
Year = {2008}}
@inproceedings{LiL03,
Author = {Li, Xiaoli and Liu, Bing},
Booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03)},
Editor = {Gottlob, Georg and Walsh, Toby},
Isbn = {0-127-05661-0},
Location = {Acapulco (Mexico)},
Month = {August},
Pages = {587--594},
Publisher = {Morgan Kaufmann},
Title = {Learning to Classify Texts Using Positive and Unlabeled Data},
Year = {2003}}
@article{LinS85,
Author = {Linial, N. and Saks, M.},
Journal = {Journal of Algorithms},
Month = {March},
Number = {1},
Pages = {86--103},
Title = {Searching Ordered Structures},
Volume = {6},
Year = {1985}}
@article{LipA95,
Author = {Lipman, Marc J. and Abrahams, Julia},
Journal = {IEEE Transactions on Information Theory (TIT)},
Number = {1},
Pages = {287--291},
Title = {Minimum Average Cost Testing for Partially Ordered Components},
Volume = {41},
Year = {1995}}
@inproceedings{LiTOT08,
Acmid = {1411283},
Address = {New York, NY, USA},
Author = {Li, Huiqing and Thompson, Simon and Orosz, Gy\"{o}rgy and T\'{o}th, Melinda},
Booktitle = {Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG},
Doi = {10.1145/1411273.1411283},
Isbn = {978-1-60558-065-4},
Keywords = {eclipse, erlang, erlide, process, record, refactoring, slicing, tuple, wrangler},
Location = {Victoria, BC, Canada},
Numpages = {12},
Pages = {61--72},
Publisher = {ACM},
Series = {ERLANG '08},
Title = {Refactoring with Wrangler, Updated: Data and Process Refactorings, and Integration with Eclipse},
Url = {http://doi.acm.org/10.1145/1411273.1411283},
Year = {2008},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1411273.1411283},
Bdsk-Url-2 = {https://doi.org/10.1145/1411273.1411283}}
@inproceedings{LiTLHKVN06,
Author = {Li, Huiqing and Thompson, Simon and L\'aszl\'o, L\"ovei and Horv\'ath, Zolt\'an and Kozsik, Tam\'as and Vig, Anik\'o and Nagy, Tam\'as},
Booktitle = {Proceedings of the 12th International {E}rlang/OTP User Conference},
Title = {Refactoring {E}rlang Programs},
Year = {2006}}
@inproceedings{LiuS00,
Acmid = {328700},
Address = {New York, NY, USA},
Author = {Liu, Yanhong A. and Stoller, Scott D.},
Booktitle = {Proceedings of the 2000 ACM-SIGPLAN Workshop on Partial Evaluation and semantics-based Program Manipulation (PEPM'00)},
Doi = {10.1145/328690.328700},
Isbn = {1-58113-201-8},
Location = {Boston, Massachusetts, United States},
Numpages = {10},
Pages = {73--82},
Publisher = {ACM},
Title = {From Recursion to Iteration: What Are the Optimizations?},
Url = {http://doi.acm.org/10.1145/328690.328700},
Year = {2000},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/328690.328700},
Bdsk-Url-2 = {https://doi.org/10.1145/328690.328700}}
@book{Liu06,
Author = {Liu, Bing},
Isbn = {3540378812},
Publisher = {Springer-Verlag New York, Inc.},
Title = {Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data (Data-Centric Systems and Applications)},
Year = {2006}}
@article{Llo87,
Address = {Tokyo, Japan, Japan},
Author = {Lloyd, John},
Issn = {0288-3635},
Journal = {New Generation Computing},
Month = {June},
Number = {2},
Pages = {133--154},
Publisher = {Ohmsha},
Title = {Declarative Error Diagnosis},
Volume = {5},
Year = {1987}}
@inproceedings{LuoC06,
Author = {Luo, Yong and Chitil, Olaf},
Booktitle = {7th Symposium on Trends in Functional Programming (TFP 2006)},
Pages = {19--34},
Publisher = {Intellect},
Title = {Proving the Correctness of Algorithmic Debugging for Functional Programs},
Volume = {7},
Year = {2006}}
@techreport{LuoC07,
Address = {UK},
Author = {Luo, Yong and Chitil, Olaf},
Institution = {University of Kent},
Keywords = {tracing},
Month = {August},
Number = {10-07},
Title = {Algorithmic {D}ebugging and Trusted Functions},
Url = {http://www.cs.kent.ac.uk/pubs/2007/2642},
Year = {2007},
Bdsk-Url-1 = {http://www.cs.kent.ac.uk/pubs/2007/2642}}
@misc{Lux06,
Author = {Lux, Wolfgang},
Howpublished = {Available at: \url{http://danae.uni-muenster.de/~lux/curry/user.pdf}},
Month = {May},
Title = {M\"unster {C}urry User's Guide},
Year = {2006}}
@article{Lux08,
Author = {Lux, Wolfgang},
Doi = {10.1016/j.entcs.2008.06.034},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Pages = {65--77},
Title = {Declarative {D}ebugging Meets the World},
Url = {http://www.sciencedirect.com/science/article/B75H1-4SY6BJ7-5/2/34f83f409e13b1ba40307e99b4d6567b},
Volume = {216},
Year = {2008},
Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/B75H1-4SY6BJ7-5/2/34f83f409e13b1ba40307e99b4d6567b},
Bdsk-Url-2 = {https://doi.org/10.1016/j.entcs.2008.06.034}}
@inproceedings{LylW87,
Address = {Peking, China},
Author = {Lyle J. R., Weiser M.},
Booktitle = {Proceedings of 2nd International Conference, Computers and Applications},
Pages = {877--883},
Title = {Automatic Program Bug Location by Program Slicing},
Volume = {2},
Year = {1987}}
@phdthesis{Mac05,
Author = {MacLarty, Ian Douglas},
Month = {July},
School = {University of Melbourne},
Title = {Practical Declarative Debugging of {M}ercury Programs},
Year = {2005}}
@techreport{MaeK87,
Author = {Maeji, Machi and Kanamori, Tadashi},
Institution = {ICOT, Japan},
Number = {TR-290},
Title = {Top-Down Zooming Diagnosis of Logic Programs},
Year = {1987}}
@inproceedings{MajDT07,
Address = {New York, NY, USA},
Author = {Majumdar, Anirban and Drape, Stephen J. and Thomborson, Clark D.},
Booktitle = {Proceedings of the 2007 ACM Workshop on Digital Rights Management},
Doi = {10.1145/1314276.1314290},
Isbn = {978-1-59593-884-8},
Location = {Alexandria, Virginia, USA},
Pages = {70--81},
Publisher = {ACM},
Series = {DRM '07},
Title = {Slicing Obfuscations: Design, Correctness, and Evaluation},
Url = {http://doi.acm.org/10.1145/1314276.1314290},
Year = {2007},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1314276.1314290},
Bdsk-Url-2 = {https://doi.org/10.1145/1314276.1314290}}
@article{ManM03,
Acmid = {961782},
Address = {Secaucus, NJ, USA},
Author = {Manolios, Panagiotis and Moore, J Strother},
Doi = {10.1023/B:JARS.0000009505.07087.34},
Issn = {0168-7433},
Issue_Date = {2003},
Journal = {Journal of Automated Reasoning},
Keywords = {ACL2, partial functions},
Month = {December},
Number = {2},
Numpages = {21},
Pages = {107--127},
Publisher = {Springer-Verlag New York, Inc.},
Title = {Partial Functions in {ACL2}},
Url = {http://dx.doi.org/10.1023/B:JARS.0000009505.07087.34},
Volume = {31},
Year = {2003},
Bdsk-Url-1 = {http://dx.doi.org/10.1023/B:JARS.0000009505.07087.34}}
@inproceedings{MarinPSR17,
Author = {V. J. Marin and T. Pereira and S. Sridharan and C. R. Rivero},
Booktitle = {2017 IEEE 33rd International Conference on Data Engineering (ICDE)},
Doi = {10.1109/ICDE.2017.169},
Month = {April},
Pages = {1259-1270},
Title = {Automated Personalized Feedback in Introductory Java Programming MOOCs},
Year = {2017},
Bdsk-Url-1 = {https://doi.org/10.1109/ICDE.2017.169}}
@inproceedings{Mcc62,
Author = {McCarthy, John},
Booktitle = {Proceedings of the 2nd International Federation for Information Processing Congress (IFIP'62)},
Pages = {21--28},
Publisher = {North-Holland},
Title = {Towards a Mathematical Science of Computation},
Year = {1962}}
@inproceedings{MilPLR00,
Author = {Milidi\'u, Ruy Luiz and Pessoa, Artur Alves and Laber, Eduardo Sany and Renter\'ia, Ra\'ul P.},
Booktitle = {Proceedings of the 7th International Symposium on String Processing and Information Retrieval (SPIRE)},
Pages = {229--235},
Title = {Fast Calculation of Optimal Strategies for Searching with Non-Uniform Costs},
Year = {2000}}
@techreport{MirBP11,
Author = {Mirghasemi, Salman and Barton, John and Petitpierre, Claude},
Institution = {\url{http://people.epfl.ch/salman.mirghasemi}},
Title = {Debugging by last{C}hange},
Year = {2011}}
@inproceedings{MozOW08,
Author = {Mozes, Shay and Onak, Krzysztof and Weimann, Oren},
Booktitle = {Proceedings of the 19th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)},
Editor = {Teng, Shang-Hua},
Month = {January},
Pages = {1096--1105},
Publisher = {SIAM},
Title = {Finding an Optimal Tree Searching Strategy in Linear Time},
Year = {2008}}
@inproceedings{MuuPTL17,
Author = {Muuli, Eerik and Papli, Kaspar and Tonisson, Eno and Lepp, Marina and Palts, Tauno and Suviste, Reelika and Sade, Merilin and Luik, Piret},
Booktitle = {Proceedings of the 2017 European Conference on Technology Enhanced Learning},
Month = {September},
Pages = {153--163},
Publisher = {Springer},
Series = {LNCS},
Title = {Automatic Assessment of Programming Assignments Using Image Recognition},
Volume = {10474},
Year = {2017}}
@article{MyrG09,
Acmid = {1556591},
Address = {Amsterdam, The Netherlands, The Netherlands},
Author = {Myreen, Magnus and Gordon, Michael},
Doi = {10.1016/j.entcs.2009.05.052},
Issn = {1571-0661},
Issue_Date = {July, 2009},
Journal = {Electronic Notes in Theoretical Computer Science},
Keywords = {program verification, theorem proving},
Month = {July},
Numpages = {16},
Pages = {185--200},
Publisher = {Elsevier Science Publishers B. V.},
Title = {Transforming Programs into Recursive Functions},
Url = {http://dx.doi.org/10.1016/j.entcs.2009.05.052},
Volume = {240},
Year = {2009},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.05.052}}
@inproceedings{NaiDZ89,
Address = {Lisboa, Portugal},
Author = {Naish, Lee and Dart, Philip Wayne and Zobel, Justin},
Booktitle = {Proceedings of the 6th International Conference on Logic Programming (ICLP'89)},
Editor = {Antonio Porto},
Month = {June},
Pages = {521--536},
Title = {The {NU}-{P}rolog Debugging Environment},
Year = {1989}}
@article{NaudeGV10,
Author = {Kevin A. Naude and Jean H. Greyling and Dieter Vogts},
Doi = {https://doi.org/10.1016/j.compedu.2009.09.005},
Issn = {0360-1315},
Journal = {Computers \& Education},
Number = {2},
Pages = {545 - 561},
Title = {Marking student programs using graph similarity},
Url = {http://www.sciencedirect.com/science/article/pii/S0360131509002450},
Volume = {54},
Year = {2010},
Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/S0360131509002450},
Bdsk-Url-2 = {https://doi.org/10.1016/j.compedu.2009.09.005}}
@article{NavBBCZ00,
Author = {Navarro and Barbosa and Baeza-Yates and Cunto and Ziviani},
Journal = {Algorithmica},
Title = {Binary Searching with Nonuniform Costs and Its Application to Text Retrieval},
Volume = {27},
Year = {2000}}
@inproceedings{NguNPB09,
Author = {Nguyen, Dat Quoc and Nguyen, Dai Quoc and Pham, Son Bao and Bui, The Duy},
Booktitle = {Proceedings of the 2009 International Conference on Knowledge and Systems Engineering},
Pages = {232--236},
Publisher = {IEEE Computer Society},
Series = {KSE 2009},
Title = {A Fast Template-Based Approach to Automatically Identify Primary Text Content of a Web Page},
Year = {2009}}
@book{Nie92,
Address = {New York, NY, USA},
Author = {Nielson, Hanne Riis and Nielson, Flemming},
Isbn = {0-471-92980-8},
Publisher = {John Wiley \& Sons, Inc.},
Title = {Semantics with Applications: A Formal Introduction},
Year = {1992}}
@techreport{NilS96,
Author = {Nilsson, Henrik and Sparud, Jan},
Institution = {Department of Computer and Information Science, Link\"oping University},
Month = {September},
Title = {The Evaluation Dependence Tree: An Execution Record for Lazy Functional Debugging},
Year = {1996}}
@article{NilS97,
Author = {Nilsson, Henrik and Sparud, Jan},
Journal = {Automated Software Engineering},
Month = {April},
Number = {2},
Pages = {121--150},
Title = {The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging},
Volume = {4},
Year = {1997}}
@phdthesis{Nil98,
Author = {Nilsson, Henrik},
Month = {May},
School = {Link\"oping, Sweden},
Title = {Declarative Debugging for Lazy Functional Languages},
Year = {1998}}
@article{NilF94,
Author = {Nilsson, Henrik and Fritzson, Peter},
Journal = {Journal of Functional Programming},
Month = {July},
Number = {3},
Pages = {337--370},
Title = {Algorithmic Debugging for Lazy Functional Languages},
Volume = {4},
Year = {1994}}
@article{Nil01,
Author = {Nilsson, Henrik},
Journal = {Journal of Functional Programming},
Month = {November},
Number = {6},
Pages = {629--671},
Title = {How to Look Busy While Being as Lazy as Ever: the Implementation of a Lazy Functional Debugger},
Volume = {11},
Year = {2001}}
@inproceedings{NurLOH15,
Author = {Nuraini, Abdul Rashid and Lau, Wei Lim and Ooi, Sin Eng and Tan, Huck Ping and Zurinahni, Zainol and Omar, Majid},
Booktitle = {Proceedings of the 2015 Advanced Computer and Communication Engineering Technology},
Pages = {967--977},
Publisher = {Springer},
Series = {LNEE},
Title = {A Framework of an Automatic Assessment System for Learning Programming},
Volume = {362},
Year = {2015}}
@inproceedings{OnaP06,
Author = {Onak, Krzysztof and Parys, Pawel},
Booktitle = {Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS)},
Pages = {379--388},
Publisher = {IEEE Computer Society},
Title = {Generalization of Binary Search: Searching in Trees and Forest-Like Partial Orders},
Year = {2006}}
@article{OttO84,
Acmid = {808263},
Address = {New York, NY, USA},
Author = {Ottenstein, Karl J. and Ottenstein, Linda M.},
Doi = {10.1145/390010.808263},
Issn = {0163-5948},
Issue_Date = {May 1984},
Journal = {SIGSOFT Software Engineering Notes},
Keywords = {Code optimization, Control flow, Data flow, Debugging, Internal program representation, Interpreter, Program slice, Software complexity metrics},
Month = April,
Number = {3},
Numpages = {8},
Pages = {177--184},
Publisher = {ACM},
Title = {The Program Dependence Graph in a Software Development Environment},
Url = {http://doi.acm.org/10.1145/390010.808263},
Volume = {9},
Year = {1984},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/390010.808263},
Bdsk-Url-2 = {https://doi.org/10.1145/390010.808263}}
@inproceedings{Per86,
Address = {New York, NY, USA},
Author = {Pereira, Lu{\~A}-s Moniz},
Booktitle = {Proceedings of the Third International Conference on Logic Programming},
Isbn = {0-387-16492-8},
Pages = {203--210},
Publisher = {Springer-Verlag LNCS 225},
Title = {Rational Debugging in Logic Programming},
Year = {1986}}
@article{PerST19,
Author = {P\'erez, Sergio and Silva, Josep and Tamarit, Salvador},
Doi = {10.1155/2019/4108652},
Journal = {Scientific Programming},
Month = {February},
Pages = {1--15},
Publisher = {Hindawi},
Title = {{A}utomatic {T}esting of {P}rogram {S}licers},
Url = {https://www.hindawi.com/journals/sp/2019/4108652/},
Volume = {vol. 2019, Article ID},
Year = {2019},
Bdsk-Url-1 = {https://www.hindawi.com/journals/sp/2019/4108652/},
Bdsk-Url-2 = {https://doi.org/10.1155/2019/4108652}}
@inproceedings{PetHHS15,
Author = {Pettit, Raymond S. and Homer, John D. and Holcomb, Kayla M. and Simone, Nevan and Mengel, Susan A.},
Booktitle = {Proceedings of the 2015 ASEE Annual Conference and Exposition},
Doi = {10.18260/p.23569},
Isbn = {978-0-692-50180-1},
Location = {Seattle, Washington},
Numpages = {20},
Pages = {26.230.1--26.230.20},
Title = {Are Automated Assessment Tools Helpful in Programming Courses?},
Url = {https://peer.asee.org/23569},
Year = {2015},
Bdsk-Url-1 = {https://peer.asee.org/23569},
Bdsk-Url-2 = {https://doi.org/10.18260/p.23569}}
@inproceedings{PHR15,
_Publisher = {ACM},
Acmid = {2677279},
Address = {New York, NY, USA},
Author = {Pettit, Raymond and Homer, John and Gee, Roger and Mengel, Susan and Starbuck, Adam},
Booktitle = {Proceedings of the 46th ACM Technical Symposium on Computer Science Education},
Doi = {10.1145/2676723.2677279},
Isbn = {978-1-4503-2966-8},
Keywords = {automated assessment tools, automated feedback, computer aided instruction, computer science education},
Location = {Kansas City, Missouri, USA},
Numpages = {6},
Pages = {410--415},
Series = {SIGCSE '15},
Title = {An Empirical Study of Iterative Improvement in Programming Assignments},
Url = {http://doi.acm.org/10.1145/2676723.2677279},
Year = {2015},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2676723.2677279},
Bdsk-Url-2 = {https://doi.org/10.1145/2676723.2677279}}
@inproceedings{PieL17,
_Publisher = {ACM},
Acmid = {3141912},
Address = {New York, NY, USA},
Author = {Pieterse, Vreda and Liebenberg, Janet},
Booktitle = {Proceedings of the 17th Koli Calling International Conference on Computing Education Research},
Doi = {10.1145/3141880.3141912},
Isbn = {978-1-4503-5301-4},
Keywords = {assessment, automatic assessment, programming},
Location = {Koli, Finland},
Numpages = {2},
Pages = {193--194},
Series = {Koli Calling '17},
Title = {Automatic vs Manual Assessment of Programming Tasks},
Url = {http://doi.acm.org/10.1145/3141880.3141912},
Year = {2017},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/3141880.3141912},
Bdsk-Url-2 = {https://doi.org/10.1145/3141880.3141912}}
@inproceedings{PraMB11,
_Location = {Lancaster, UK},
_Numpages = {26},
Acmid = {2032536},
Address = {Berlin, Heidelberg},
Author = {Prabhu, Prakash and Maeda, Naoto and Balakrishnan, Gogul},
Booktitle = {Proceedings of the 25th European Conference on Object-oriented Programming},
Isbn = {978-3-642-22654-0},
Pages = {583--608},
Publisher = {Springer-Verlag},
Series = {ECOOP'11},
Title = {Interprocedural Exception Analysis for C++},
Url = {http://dl.acm.org/citation.cfm?id=2032497.2032536},
Year = {2011},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=2032497.2032536}}
@phdthesis{Pop06,
Address = {Australia},
Author = {Pope, Bernie},
Month = {December},
School = {The University of Melbourne},
Title = {A Declarative Debugger for {H}askell},
Year = {2006}}
@phdthesis{Pot11,
Author = {Pothier, Guillaume},
Month = {June},
School = {University of Chile},
Title = {Towards Practical Omniscient Debugging},
Year = {2011}}
@article{PriS93,
Author = {De Prisco and De Santis},
Journal = {Information Processing Letters (IPL)},
Title = {On Binary Search Trees},
Volume = {45},
Year = {1993}}
@article{PriS96,
Author = {De Prisco and De Santis},
Journal = {Theoretical Computer Science (TCS)},
Title = {New Lower Bounds on the Cost of Binary Search Trees},
Volume = {156},
Year = {1996}}
@article{RajalS15,
Author = {Jaspreet Singh Rajal and Shivani Sharma},
Journal = {International Journal of Computer Applications},
Month = {April},
Number = {16},
Pages = {8-13},
Title = {Article: A Review on Various Techniques for Regression Testing and Test Case Prioritization},
Volume = {116},
Year = {2015}}
@techreport{RamR89,
_Month = {December},
Author = {G. Ramalingam and Thomas Reps},
Institution = {University of Wisconsin (Madison)},
Number = {Technical Report #900},
Title = {Semantics of program representation graphs},
Year = {1989}}
@inproceedings{ReiGSL04,
Acmid = {988740},
Address = {New York, NY, USA},
Author = {Reis, Davi de Castro and Golgher, Paulo Braz and Silva, Altigran Soares and Laender, Alberto Henrique Frade},
Booktitle = {Proceedings of the 13th International Conference on World Wide Web (WWW'04)},
Doi = {10.1145/988672.988740},
Isbn = {1-58113-844-X},
Keywords = {data extraction, edit distance, schema inference, web},
Location = {New York, NY, USA},
Numpages = {10},
Pages = {502--511},
Publisher = {ACM},
Title = {Automatic Web News Extraction Using Tree Edit Distance},
Url = {http://doi.acm.org/10.1145/988672.988740},
Year = {2004},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/988672.988740},
Bdsk-Url-2 = {https://doi.org/10.1145/988672.988740}}
@inproceedings{RepY89,
Address = {Berlin, Heidelberg},
Author = {Reps, Thomas and Yang, Wuu},
Booktitle = {TAPSOFT '89},
Editor = {D{\'\i}az, J. and Orejas, F.},
Isbn = {978-3-540-46118-0},
Pages = {360--374},
Publisher = {Springer Berlin Heidelberg},
Title = {The semantics of program slicing and program integration},
Year = {1989}}
@article{RepHSR94,
Author = {Reps, Thomas and Horwitz, Susan and Sagiv, Mooly and Rosay, Genevieve},
Journal = {SIGSOFT Softw. Eng. Notes},
Month = {December},
Number = {5},
Pages = {11--20},
Title = {Speeding Up Slicing},
Volume = {19},
Year = {1994}}
@inproceedings{RepR95,
Address = {New York, NY, USA},
Author = {Reps, Thomas and Rosay, Genevieve},
Booktitle = {Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering},
Doi = {10.1145/222124.222138},
Isbn = {0897917162},
Location = {Washington, D.C., USA},
Numpages = {12},
Pages = {41--52},
Publisher = {Association for Computing Machinery},
Title = {Precise Interprocedural Chopping},
Url = {https://doi.org/10.1145/222124.222138},
Year = {1995},
Bdsk-Url-1 = {https://doi.org/10.1145/222124.222138}}
@inproceedings{RepT96,
Author = {Reps, Thomas and Turnidge, Todd},
Booktitle = {Proceedings of the Dagstuhl Seminar on Partial Evaluation},
Pages = {409--429},
Publisher = {Springer-Verlag},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Program Specialization Via Program Slicing},
Volume = {1110},
Year = {1996}}
@phdthesis{Rie11,
Author = {Riesco, Adri\'an},
Month = {June},
School = {Universidad Complutense de Madrid},
Title = {Declarative Debugging and Heterogeneous Verification in {M}aude},
Year = {2011}}
@inproceedings{RieVM10,
Author = {Riesco, Adri\'an and Verdejo, Alberto and Mart\'i-Oliet, Narciso},
Booktitle = {Proceedings of the 13th International Conference Algebraic Methodology and Software Technology (AMAST 2010)},
Pages = {216--225},
Publisher = {Springer-Verlag},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {A Complete Declarative Debugger for {M}aude},
Volume = {6486},
Year = {2010}}
@inproceedings{RieVM10b,
Author = {Riesco, Adri\'an and Verdejo, Alberto and Mart\'i-Oliet, Narciso},
Booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)},
Pages = {277--294},
Title = {Declarative Debugging of Missing Answers for {M}aude},
Year = {2010}}
@inproceedings{Rie14,
Author = {Riesco, Adri\'an},
Booktitle = {Proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014},
Editor = {Michael Codish and Eijiro Sumii},
Location = {Sydney, Australia},
Pages = {52--68},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Using Big-Step and Small-Step Semantics in {M}aude to Perform Declarative Debugging},
Url = {http://dx.doi.org/10.1007/978-3-319-07151-0_4},
Volume = {8475},
Year = {2014},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-07151-0_4}}
@inproceedings{Rob06,
_Publisher = {Australian Computer Society, Inc.},
Acmid = {1151892},
Address = {Darlinghurst, Australia},
Author = {Roberts, Tim S.},
Booktitle = {Proceedings of the 8th Australasian Conference on Computing Education - Volume 52},
Isbn = {1-920682-34-1},
Keywords = {MCQ, formative assessment, multiple-choice tests, online assessment, summative assessment},
Location = {Hobart, Australia},
Numpages = {6},
Pages = {175--180},
Series = {ACE '06},
Title = {The Use of Multiple Choice Tests for Formative and Summative Assessment},
Url = {http://dl.acm.org/citation.cfm?id=1151869.1151892},
Year = {2006},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=1151869.1151892}}
@inproceedings{RodB05,
Author = {Nuno F. Rodrigues and Lu{\"\i}¿{\oe}is S. Barbosa},
Booktitle = {In Proc. of Formal Aspects of Component Software (FACS 2005). Elsevier ENTCS},
Pages = {291--304},
Publisher = {Elsevier},
Title = {Component Identification Through Program Slicing},
Year = {2005}}
@inproceedings{RowTW09,
Author = {Rowlands, Tom and Thomas, Paul and Wan, Stephen},
Booktitle = {Proceedings of the 14th Australasian Document Computing Symposium},
Location = {Sydney, Australia},
Title = {Web Indexing on a Diet: Template Removal with the Sandwich Algorithm},
Url = {http://es.csiro.au/adcs2009/proceedings/poster-presentation/06-rowlands.pdf},
Year = {2009},
Bdsk-Url-1 = {http://es.csiro.au/adcs2009/proceedings/poster-presentation/06-rowlands.pdf}}
@article{RubKP14,
Acmid = {2565978},
Address = {Amsterdam, The Netherlands, The Netherlands},
Author = {Rubio-S\'{a}nchez, Manuel and Kinnunen, P\"{a}ivi and Pareja-Flores, Crist\'{o}bal and Vel\'{a}zquez-Iturbide, \'{A}ngel},
Doi = {10.1016/j.chb.2013.04.001},
Issn = {0747-5632},
Issue_Date = {February, 2014},
Journal = {Comput. Hum. Behav.},
Keywords = {97C40, 97C80, 97U70, Automated assessment system, Computer science education, Mooshak, Online judge},
Month = {February},
Numpages = {8},
Pages = {453--460},
Publisher = {Elsevier Science Publishers B. V.},
Title = {Student Perception and Usage of an Automated Programming Assessment Tool},
Url = {http://dx.doi.org/10.1016/j.chb.2013.04.001},
Volume = {31},
Year = {2014},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.chb.2013.04.001}}
@inproceedings{RunNL08,
Acmid = {1411292},
Address = {New York, NY, USA},
Author = {Runciman, Colin and Naylor, Matthew and Lindblad, Fredrik},
Booktitle = {Proceedings of the First ACM SIGPLAN Symposium on Haskell},
Doi = {10.1145/1411286.1411292},
Isbn = {978-1-60558-064-7},
Keywords = {embedded language, exhaustive search, lazy evaluation, property-based testing, type classes},
Location = {Victoria, BC, Canada},
Numpages = {12},
Pages = {37--48},
Publisher = {ACM},
Series = {Haskell '08},
Title = {Smallcheck and {L}azy {S}mallcheck: Automatic Exhaustive Testing for Small Values},
Url = {http://doi.acm.org/10.1145/1411286.1411292},
Year = {2008},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1411286.1411292},
Bdsk-Url-2 = {https://doi.org/10.1145/1411286.1411292}}
@article{RunNL08b,
Acmid = {1411292},
Address = {New York, NY, USA},
Author = {Runciman, Colin and Naylor, Matthew and Lindblad, Fredrik},
Doi = {10.1145/1543134.1411292},
Issn = {0362-1340},
Issue_Date = {February 2009},
Journal = {SIGPLAN Not.},
Keywords = {embedded language, exhaustive search, lazy evaluation, property-based testing, type classes},
Month = {sep},
Number = {2},
Numpages = {12},
Pages = {37--48},
Publisher = {ACM},
Title = {Smallcheck and {L}azy {S}mallcheck: Automatic Exhaustive Testing for Small Values},
Url = {http://doi.acm.org/10.1145/1543134.1411292},
Volume = {44},
Year = {2008},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1543134.1411292},
Bdsk-Url-2 = {https://doi.org/10.1145/1543134.1411292}}
@inproceedings{SagST13,
Acmid = {2426897},
Address = {New York, NY, USA},
Author = {Sagonas, Konstantinos and Silva, Josep and Tamarit, Salvador},
Booktitle = {Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation},
Doi = {10.1145/2426890.2426897},
Isbn = {978-1-4503-1842-6},
Keywords = {erlang, program slicing, type inference},
Location = {Rome, Italy},
Numpages = {10},
Pages = {33--42},
Publisher = {ACM},
Series = {PEPM '13},
Title = {Precise Explanation of Success Typing Errors},
Url = {http://doi.acm.org/10.1145/2426890.2426897},
Year = {2013},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2426890.2426897},
Bdsk-Url-2 = {https://doi.org/10.1145/2426890.2426897}}
@article{SanSOS11,
Author = {Sano, Hiroyuki and Shiramatsu, Shun and Ozono, Tadachika and Shintani, Toramatsu},
Journal = {IJCSNS International Journal of Computer Science and Network Security},
Month = {October},
Number = {10},
Pages = {84--90},
Title = {A Web Page Segmentation Method based on Page Layouts and Title Blocks},
Volume = {11},
Year = {2011}}
@article{SchG95,
Author = {Sch\"affer, A. A. and de la Torre, P. and Greenlaw, R.},
Journal = {Algorithmica},
Pages = {592--618},
Title = {Optimal Edge Ranking of Trees in Polynomial Time},
Volume = {13},
Year = {1995}}
@book{Sha14,
Author = {Sharan, K.},
Isbn = {9781430266594},
Publisher = {Apress},
Series = {Expert's voice in Java},
Title = {Beginning {J}ava 8 Language Features: Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams},
Url = {https://books.google.es/books?id=TnU\_BAAAQBAJ},
Year = {2014},
Bdsk-Url-1 = {https://books.google.es/books?id=TnU%5C_BAAAQBAJ}}
@techreport{Sha81,
Author = {Shapiro, Ehud Y.},
Institution = {Yale University (New Haven, CT US)},
Month = {February},
Number = {RR 192},
Title = {Inductive Inference of Theories from Facts},
Url = {http://opac.inria.fr/record=b1007525},
Year = {1981},
Bdsk-Url-1 = {http://opac.inria.fr/record=b1007525}}
@book{Sha82,
Author = {Shapiro, Ehud Y.},
Month = {April},
Publisher = {MIT Press},
Title = {Algorithmic program debugging},
Year = {1982}}
@inproceedings{ShivCWP09,
Author = {Shiv, Kumar and Chow, Kingsum and Wang, Yanping and Petrochenko},
Booktitle = {Computer Performance Evaluation and Benchmarking},
Doi = {https://doi.org/10.1007/978-3-540-93799-9_2},
Editor = {Kaeli, David and Sachs, Kai},
Pages = {17--35},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {SPECjvm2008 Performance Characterization},
Volume = {5419},
Year = {2009},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-540-93799-9_2}}
@article{SBLTM13,
Acmid = {2460171},
Address = {USA},
Author = {Sherman, Mark and Bassil, Sarita and Lipman, Derrell and Tuck, Nat and Martin, Fred},
Issn = {1937-4771},
Issue_Date = {June 2013},
Journal = {Journal of Computing Sciences in Colleges},
Month = {June},
Number = {6},
Numpages = {7},
Pages = {69--75},
Publisher = {Consortium for Computing Sciences in Colleges},
Title = {Impact of Auto-grading on an Introductory Computing Course},
Url = {http://dl.acm.org/citation.cfm?id=2460156.2460171},
Volume = {28},
Year = {2013},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=2460156.2460171}}
@inproceedings{SiW11,
Author = {Si, Jiaquan and Wang, Wei},
Booktitle = {Proceedings of the 2011 International Conference on Electrical and Control Engineering (ICECE)},
Doi = {10.1109/ICECENG.2011.6057476},
Pages = {38--41},
Publisher = {IEEE},
Title = {A Template-Based Forum Posts Content Extraction Method},
Year = {2011},
Bdsk-Url-1 = {https://doi.org/10.1109/ICECENG.2011.6057476}}
@inproceedings{SinH98,
Author = {S. {Sinha} and M. J. {Harrold}},
Booktitle = {Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272)},
Doi = {10.1109/ICSM.1998.738526},
Keywords = {software maintenance;exception handling;program diagnostics;program testing;program analysis;exception handling constructs;control flow;data flow;control dependence;maintenance tasks;regression testing;dynamic execution profiling;dynamic slicing;Java;C++;exception occurrences;interprocedural representations;software maintenance;Java;Software testing;Performance analysis;Information analysis;Data flow computing;Failure analysis;Information science;Software maintenance;ANSI standards;Performance evaluation},
Month = {Nov},
Pages = {348-357},
Publisher = {IEEE},
Title = {Analysis of programs with exception-handling constructs},
Year = {1998},
Bdsk-Url-1 = {https://doi.org/10.1109/ICSM.1998.738526}}
@inproceedings{SinHR99,
Author = {S. {Sinha} and M. J. {Harrold} and G. {Rothermel}},
Booktitle = {Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)},
Doi = {10.1145/302405.302675},
Keywords = {program slicing;computer aided software engineering;system-dependence-graph-based program slicing;arbitrary interprocedural control flow;software engineering task automation;large software systems;call sites;Control systems;Java;Software systems;Permission;Data analysis;Computer science;Software algorithms;Software engineering;Application software;Software debugging},
Month = {May},
Pages = {432-441},
Publisher = {IEEE},
Title = {System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow},
Year = {1999},
Bdsk-Url-1 = {https://doi.org/10.1145/302405.302675}}
@inproceedings{SFB16,
Author = {Souza, D.M. and Felizardo, K.R. and Barbosa, E.F.},
Booktitle = {Proceedings of the 2016 International Conference on Software Engineering Education and Training (CSEET)},
Doi = {10.1109/CSEET.2016.48},
Pages = {147--156},
Publisher = {IEEE},
Title = {A Systematic Literature Review of Assessment Tools for Programming Assignments},
Year = {2016},
Bdsk-Url-1 = {https://doi.org/10.1109/CSEET.2016.48}}
@InProceedings{Ste98,
author = {Steindl, Christoph},
editor = {Koskimies, Kai},
title = {Intermodular slicing of object-oriented programs},
booktitle = {Compiler Construction},
year = {1998},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
pages = {264--278},
isbn = {978-3-540-69724-4}
}
@article{SunYCHDX18,
Author = {Chang-ai Sun and Yufeng Ran and Caiyun Zheng and Huai Liu and Dave Towey and Xiangyu Zhang},
Doi = {https://doi.org/10.1016/j.jss.2017.10.030},
Issn = {0164-1212},
Journal = {Journal of Systems and Software},
Pages = {191 - 204},
Title = {Fault localisation for {WS-BPEL} programs based on predicate switching and program slicing},
Volume = {135},
Year = {2018},
Bdsk-Url-1 = {https://doi.org/10.1016/j.jss.2017.10.030}}
@article{SzwNBOCZ03,
Author = {Szwarcfiter and Navarro and Baeza-Yates and Oliveira and Cunto and Ziviani},
Journal = {Theoretical Computer Science (TCS)},
Title = {Optimal Binary Search Trees with Costs Depending on the Access Paths},
Volume = {290},
Year = {2003}}
@article{Tai79,
Acmid = {322143},
Address = {New York, NY, USA},
Author = {Tai, Kuo Chung},
Doi = {10.1145/322139.322143},
Issn = {0004-5411},
Journal = {Journal of the ACM},
Month = {July},
Number = {3},
Numpages = {12},
Pages = {422--433},
Publisher = {ACM},
Title = {The Tree-to-Tree Correction Problem},
Url = {http://doi.acm.org/10.1145/322139.322143},
Volume = {26},
Year = {1979},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/322139.322143},
Bdsk-Url-2 = {https://doi.org/10.1145/322139.322143}}
@article{Tag10,
Author = {V.~A. Tagliacolloab and G.~L. Volpatoac and A.~P. Junior},
Journal = {Educational Research},
Pages = {198--201},
Title = {Association of Student Position in Classroom and School Performance},
Volume = {1},
Year = {2010}}
@techreport{Tas02,
Author = {Tassey, Gregory},
Institution = {National Institute of Standards and Technology (NIST)},
Month = {May},
Number = {02-3},
Title = {The Economic Impacts of Inadequate Infrastructure for Software Testing},
Type = {NIST Planning Report},
Year = {2002}}
@techreport{ThoN97,
Author = {Thompson, Bert and Naish, Lee},
Institution = {University of Melbourne},
Month = {June},
Title = {A Guide to The {NU}-{P}rolog Debugging Environment},
Year = {1997}}
@article{WanSMY11,
Acmid = {1872216},
Address = {Oxford, UK, UK},
Author = {Wang, Tiantian and Su, Xiaohong and Ma, Peijun and Wang, Yuying and Wang, Kuanquan},
Doi = {10.1016/j.compedu.2010.08.003},
Issn = {0360-1315},
Issue_Date = {January, 2011},
Journal = {Comput. Educ.},
Keywords = {Intelligent tutoring systems, Interactive learning environments, Programming and programming languages},
Month = {January},
Number = {1},
Numpages = {7},
Pages = {220--226},
Publisher = {Elsevier Science Ltd.},
Title = {Ability-training-oriented Automated Assessment in Introductory Programming Course},
Url = {http://dx.doi.org/10.1016/j.compedu.2010.08.003},
Volume = {56},
Year = {2011},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.compedu.2010.08.003}}
@article{Tip95,
Author = {Tip, Frank},
Date-Modified = {2020-03-03 17:23:25 +0100},
Journal = {Journal of Programming Languages},
Keywords = {survey,program slicing},
Number = {3},
Pages = {121--189},
Publisher = {CWI (Centre for Mathematics and Computer Science)},
Title = {A Survey of {P}rogram {S}licing Techniques},
Volume = {3},
Year = {1995}}
@inproceedings{TotBIH09,
Acmid = {1939139},
Address = {Berlin, Heidelberg},
Author = {T\'{o}th, Melinda and Boz\'{o}, Istv\'{a}n and Horv\'{a}th, Zolt\'{a}n and L\"{o}vei, L\'{a}szl\'{o} and Tejfel, M\'{a}t\'{e} and Kozsik, Tam\'{a}s},
Booktitle = {Proceedings of the Third summer school conference on Central European functional programming school},
Isbn = {3-642-17684-4, 978-3-642-17684-5},
Location = {Budapest, Hungary},
Numpages = {19},
Pages = {372--390},
Publisher = {Springer-Verlag},
Series = {CEFP'09},
Title = {Impact analysis of erlang programs using behaviour dependency graphs},
Url = {http://dl.acm.org/citation.cfm?id=1939128.1939139},
Year = {2010},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=1939128.1939139}}
@phdthesis{Tow76,
Address = {USA},
Author = {Towle, Ross Albert},
Note = {AAI7624191},
Publisher = {University of Illinois at Urbana-Champaign},
Title = {Control and Data Dependence for Program Transformations.},
Year = {1976}}
@inproceedings{VieSPMCF06,
Acmid = {1183654},
Address = {New York, NY, USA},
Author = {Vieira, Karane and da Silva, Altigran S. and Pinto, Nick and de Moura, Edleno S. and Cavalcanti, Jo\~ao M. B. and Freire, Juliana},
Booktitle = {Proceedings of the 15th ACM International Conference on Information and Knowledge Management (CIKM'06)},
Doi = {10.1145/1183614.1183654},
Isbn = {1-59593-433-2},
Keywords = {web page noise removal, web template extraction},
Location = {Arlington, Virginia, USA},
Numpages = {10},
Pages = {258--267},
Publisher = {ACM},
Title = {A Fast and Robust Method for Web Page Template Detection and Removal},
Url = {http://doi.acm.org/10.1145/1183614.1183654},
Year = {2006},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1183614.1183654},
Bdsk-Url-2 = {https://doi.org/10.1145/1183614.1183654}}
@article{VieCBMSF09,
Author = {Vieira, Karane and da Costa Carvalho, Andr\'e Luiz and Berlt, Klessius and de Moura, Edleno S. and da Silva, Altigran S. and Freire, Juliana},
Doi = {10.1007/s11280-009-0059-3},
Issn = {1386-145X},
Journal = {World Wide Web},
Number = {2},
Pages = {171--211},
Publisher = {Springer US},
Title = {On Finding Templates on Web Collections},
Volume = {12},
Year = {2009},
Bdsk-Url-1 = {https://doi.org/10.1007/s11280-009-0059-3}}
@article{VujosevicNTK13,
Author = {Milena Vujosevic{-}Janicic and Mladen Nikolic and Dusan Tosic and Viktor Kuncak},
Doi = {10.1016/j.infsof.2012.12.005},
Journal = {Information {\&} Software Technology},
Number = {6},
Pages = {1004--1016},
Title = {Software verification and graph similarity for automated evaluation of students' assignments},
Url = {https://doi.org/10.1016/j.infsof.2012.12.005},
Volume = {55},
Year = {2013},
Bdsk-Url-1 = {https://doi.org/10.1016/j.infsof.2012.12.005}}
@inproceedings{WalRW03,
Author = {Neil Walkinshaw and Marc Roper and Murray Wood},
Booktitle = {In Third IEEE International Workshop on Source Code Analysis and Manipulation},
Pages = {5--5},
Title = {The Java System Dependence Graph},
Year = {2003}}
@inproceedings{WanFCGX08,
Acmid = {1367749},
Address = {New York, NY, USA},
Author = {Wang, Yu and Fang, Bingxing and Cheng, Xueqi and Guo, Li and Xu, Hongbo},
Booktitle = {Proceedings of the 17th International Conference on World Wide Web (WWW '08)},
Doi = {10.1145/1367497.1367749},
Isbn = {978-1-60558-085-2},
Keywords = {automatic template removal, web page segmentation},
Location = {Beijing, China},
Numpages = {2},
Pages = {1247--1248},
Publisher = {ACM},
Title = {Incremental Web Page Template Detection},
Url = {http://doi.acm.org/10.1145/1367497.1367749},
Year = {2008},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1367497.1367749},
Bdsk-Url-2 = {https://doi.org/10.1145/1367497.1367749}}
@inproceedings{Wei81,
Acmid = {802557},
Address = {Piscataway, NJ, USA},
Author = {Weiser, Mark},
Booktitle = {Proceedings of the 5th international conference on Software engineering (ICSE '81)},
Isbn = {0-89791-146-6},
Keywords = {Data flow analysis, Debugging, Human factors, Program maintenance, Program metrics, Software tools},
Location = {San Diego, California, United States},
Numpages = {11},
Pages = {439--449},
Publisher = {IEEE Press},
Title = {Program {S}licing},
Year = {1981}}
@article{Wei84,
Author = {Weiser, Mark},
Journal = {IEEE Transactions on Software Engineering},
Month = {July},
Number = {4},
Pages = {352-357},
Title = {Program {S}licing},
Volume = {10},
Year = {1984}}
@inproceedings{WeiCE94,
author = {Weise, Daniel and Crew, Roger F. and Ernst, Michael and Steensgaard, Bjarne},
title = {Value Dependence Graphs: Representation without Taxation},
year = {1994},
isbn = {0897916360},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/174675.177907},
doi = {10.1145/174675.177907},
booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
pages = {297–310},
numpages = {14},
location = {Portland, Oregon, USA},
series = {POPL ’94}
}
@inproceedings{WenHH10,
Author = {Weninger, Tim and Henry Hsu, William and Han, Jiawei},
Booktitle = {Proceedings of the 19th International Conference on World Wide Web (WWW'10)},
Doi = {10.1145/1772690.1772789},
Editor = {Rappa, Michael and Jones, Paul and Freire, Juliana and Chakrabarti, Soumen},
Isbn = {978-1-60558-799-8},
Location = {Raleigh (North Carolina / USA)},
Month = {April},
Pages = {971--980},
Publisher = {ACM},
Title = {{CETR}: Content Extraction via Tag Ratios},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1145/1772690.1772789}}
@inproceedings{Wid04,
Acmid = {1022479},
Address = {New York, NY, USA},
Author = {Widera, Manfred},
Booktitle = {Proceedings of the 2004 ACM SIGPLAN workshop on Erlang},
Doi = {http://doi.acm.org/10.1145/1022471.1022479},
Isbn = {1-58113-918-7},
Keywords = {flow graphs, test coverage},
Location = {Snowbird, Utah, USA},
Numpages = {6},
Pages = {48--53},
Publisher = {ACM},
Series = {ERLANG '04},
Title = {Flow graphs for testing sequential erlang programs},
Url = {http://doi.acm.org/10.1145/1022471.1022479},
Year = {2004},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1022471.1022479}}
@inproceedings{WidI05,
Author = {Manfred Widera and Fachbereich Informatik},
Booktitle = {In Proceedings of the Erlang/OTP User Conference 2005},
Title = {Concurrent Erlang flow graphs},
Year = {2005}}
@article{WongGLA16,
Acmid = {3012182},
Address = {Piscataway, NJ, USA},
Author = {Wong, W. Eric and Gao, Ruizhi and Li, Yihao and Abreu, Rui and Wotawa, Franz},
Doi = {10.1109/TSE.2016.2521368},
Issn = {0098-5589},
Issue_Date = {August 2016},
Journal = {IEEE Trans. Softw. Eng.},
Month = {August},
Number = {8},
Numpages = {34},
Pages = {707--740},
Publisher = {IEEE Press},
Title = {A Survey on Software Fault Localization},
Url = {http://dx.doi.org/10.1109/TSE.2016.2521368},
Volume = {42},
Year = {2016},
Bdsk-Url-1 = {http://dx.doi.org/10.1109/TSE.2016.2521368}}
@article{XioS18,
Author = {Xiong, Yao and Suen, Hoi K.},
Doi = {10.1007/s11159-018-9710-5},
Issue_Date = {April 2018},
Journal = {International Review of Education},
Month = {April},
Number = {2},
Pages = {241--263},
Title = {Assessment approaches in massive open online courses: Possibilities, challenges and future directions},
Volume = {64},
Year = {2018},
Bdsk-Url-1 = {https://doi.org/10.1007/s11159-018-9710-5}}
@inproceedings{YamGAR14,
Address = {Washington, DC, USA},
Author = {Yamaguchi, Fabian and Golde, Nico and Arp, Daniel and Rieck, Konrad},
Booktitle = {Proceedings of the 2014 IEEE Symposium on Security and Privacy},
Isbn = {978-1-4799-4686-0},
Pages = {590--604},
Publisher = {IEEE Computer Society},
Series = {SP '14},
Title = {Modeling and Discovering Vulnerabilities with Code Property Graphs},
Year = {2014}}
@inproceedings{YiAK00,
Author = {Yi, Qing and Adve, Vikram and Kennedy, Ken},
Booktitle = {Proceedings of the 21st ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI'00)},
Pages = {169--181},
Title = {Transforming Loops to Recursion for Multi-Level Memory Hierarchies},
Year = {2000}}
@inproceedings{YiLL03,
Acmid = {956785},
Address = {New York, NY, USA},
Author = {Yi, Lan and Liu, Bing and Li, Xiaoli},
Booktitle = {Proceedings of the 9th ACM SIGKDD International Conference on Knowledge Discovery and Data mining (KDD'03)},
Doi = {10.1145/956750.956785},
Isbn = {1-58113-737-0},
Keywords = {Web mining, noise detection, noise elimination},
Location = {Washington, D.C.},
Numpages = {10},
Pages = {296--305},
Publisher = {ACM},
Title = {Eliminating Noisy Information in Web Pages for Data Mining},
Url = {http://doi.acm.org/10.1145/956750.956785},
Year = {2003},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/956750.956785},
Bdsk-Url-2 = {https://doi.org/10.1145/956750.956785}}
@article{YooH12,
Acmid = {2284813},
Address = {Chichester, UK},
Author = {Yoo, S. and Harman, M.},
Doi = {10.1002/stv.430},
Issn = {0960-0833},
Issue_Date = {March 2012},
Journal = {Softw. Test. Verif. Reliab.},
Keywords = {regression test selection, regression testing, test case prioritization, test suite minimization},
Month = March,
Number = {2},
Numpages = {54},
Pages = {67--120},
Publisher = {John Wiley and Sons Ltd.},
Title = {Regression Testing Minimization, Selection and Prioritization: A Survey},
Url = {http://dx.doi.org/10.1002/stv.430},
Volume = {22},
Year = {2012},
Bdsk-Url-1 = {http://dx.doi.org/10.1002/stv.430}}
@article{YuLCZ11,
Author = {Yu, Kai and Lin, Mengxiang and Chen, Jin and Zhang, Xiangyu},
Journal = {Journal of Systems and Software (JSS)},
Month = {October},
Title = {Towards Automated Debugging in Software Evolution: Evaluating {D}elta {D}ebugging on Real Regression Bugs from Developers' Perspectives},
Url = {http://dx.doi.org/10.1016/j.jss.2011.10.016},
Volume = {85},
Year = {2011},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.jss.2011.10.016}}
@inproceedings{Zha02,
Acmid = {857013},
Address = {Washington, DC, USA},
Author = {Zhao, Jianjun},
Booktitle = {Proceedings of the 10th International Workshop on Program Comprehension},
Isbn = {0-7695-1495-2},
Pages = {251--260},
Publisher = {IEEE Computer Society},
Series = {IWPC '02},
Title = {Slicing Aspect-Oriented Software},
Url = {http://dl.acm.org/citation.cfm?id=580131.857013},
Year = {2002},
Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=580131.857013}}
url = {http://dx.doi.org/10.1016/j.jss.2011.10.016}
}
ZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZ
@inproceedings{Zha98,
author = {Zhao, Jianjun},
title = {Applying Program Dependence Analysis To Java Software},
booktitle = {Proceedings of Workshop on Software Engineering and Database Systems},
year = {1998},
month = {12},
pages = {162--169}
}
@inproceedings{Zha02,
author = {Zhao, Jianjun},
title = {Slicing Aspect-Oriented Software},
booktitle = {Proceedings of the 10th International Workshop on Program Comprehension},
series = {IWPC '02},
year = {2002},
isbn = {0-7695-1495-2},
pages = {251--260},
url = {http://dl.acm.org/citation.cfm?id=580131.857013},
acmid = {857013},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@article{Zel99,
Author = {Zeller, Andreas},
Doi = {10.1145/318774.318946},
Issn = {0163-5948},
Journal = {SIGSOFT Softw. Eng. Notes},
Month = {October},
Number = {6},
Pages = {253--267},
Title = {Yesterday, My Program Worked. Today, It Does Not. Why?},
Url = {http://doi.acm.org/10.1145/318774.318946},
Volume = {24},
Year = {1999},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/318774.318946},
Bdsk-Url-2 = {https://doi.org/10.1145/318774.318946}}
@article{ZelH02,
Address = {Piscataway, NJ, USA},
Author = {Zeller, Andreas and Hildebrandt, Ralf},
Doi = {10.1109/32.988498},
Issn = {0098-5589},
Journal = {IEEE Trans. Softw. Eng.},
Month = {February},
Number = {2},
Pages = {183--200},
Publisher = {IEEE Press},
Title = {Simplifying and Isolating Failure-Inducing Input},
Url = {http://dx.doi.org/10.1109/32.988498},
Volume = {28},
Year = {2002},
Bdsk-Url-1 = {http://dx.doi.org/10.1109/32.988498}}
@book{BigT07,
Author = {Biggs, John and Tang, Catherine},
Publisher = {Open University Press},
Series = {Society for Research Into Higher Education},
Title = {Teaching for Quality Learning at University : What the Student Does (3rd Edition)},
Year = {2007}}
@article{RosF02,
Author = {Rosling, Guido and Freisleben, Bernd},
Journal = {Journal of Visual Languages and Computing},
Number = {2},
Pages = {341--354},
Title = {{ANIMAL}: A System for Supporting Multiple Roles in Algorithm Animation},
Volume = {13},
Year = {2002}}
@inproceedings{MorMSB04,
_Publisher = {ACM},
Address = {New York, NY, USA},
Author = {Moreno, Andr\'es and Myller, Niko and Sutinen, Erkki and Ben-Ari, Mordechai},
Booktitle = {Proceedings of the Working Conference on Advanced Visual Interfaces},
Isbn = {1-58113-867-9},
Pages = {373--376},
Series = {AVI '04},
Title = {Visualizing Programs with {J}eliot 3},
Year = {2004}}
@article{Sta90,
Author = {Stasko, John T.},
Journal = {IEEE Computer},
Month = {sept},
Number = {9},
Pages = {27--39},
Title = {{TANGO}: A Framework and System for Algorithm Animation},
Volume = {23},
Year = {1990}}
@inproceedings{KorMS03,
Author = {Korhonen, Ari and Malmi, Lauri and Silvasti, Panu},
Booktitle = {Proceedings of the Third Annual Baltic Conference on Computer Science Education},
Pages = {48--56},
Title = {{TRAKLA2}: A Framework for Automatically Assessed Visual Algorithm Simulation Exercises},
Year = {2003}}
@article{EdwP08,
Author = {Edwards, Stephen H. and P\'erez-Qui\~nones, Manuel},
Journal = {ACM SIGCSE Bulletin},
Month = {August},
Number = {3},
Pages = {328--328},
Title = {Web-{CAT}: Automatically Grading Programming Assignments},
Volume = {40},
Year = {2008}}
@article{JoyGB05,
Author = {Joy, Mike and Griffiths, Nathan and Boyatt, Russell},
Issn = {1531-4278},
Journal = {ACM Journal on Educational Resources in Computing},
Month = {sept},
Number = {3},
Title = {The {BOSS} Online Submission and Assessment System},
Volume = {5},
Year = {2005}}
@book{BarK06,
Author = {Barnes, David J. and Kolling, Michael},
Month = {April},
Publisher = {Prentice Hall / Pearson Education},
Title = {Objects First with {J}ava - A Practical Introduction using {BlueJ}},
Year = {2006}}
@book{Pat94,
Author = {Pattis, Richard E.},
Isbn = {978-0-471-08928-5},
Publisher = {John Wiley \& Sons},
Title = {Karel the Robot: A Gentle Introduction to the Art of Programming},
Year = {1994}}
@article{CooDP00,
Author = {Cooper, Stephen and Dann, Wanda and Pausch, Randy},
Issn = {1937-4771},
Journal = {Journal of Computing Sciences in Colleges},
Month = {May},
Number = {5},
Pages = {107--116},
Title = {Alice: {A} 3-{D} Tool for Introductory Programming Concepts},
Volume = {15},
Year = {2000}}
@inproceedings{BeiKW03,
Author = {Beierle, Christoph and Kulas, Marija and Widera, Manfred},
Booktitle = {Proceedings of the 1. E-Learning Fachtagung Informatik (DeLFI'03)},
Pages = {144--153},
Publisher = {Verlang},
Title = {Automatic Analysis of Programming Assignments},
Year = {2003}}
@inproceedings{LaaSKM04,
Author = {Laakso, Mikko-Jussi and Salakoski, Tapio and Korhonen, Ari and Malmi, Lauri},
Booktitle = {Proceedings of Kolin Kolistelut/Koli Calling - Fourth Finnish/Baltic Sea Conference on Computer Science Education},
Pages = {28--36},
Title = {Automatic Assessment of Exercises for Algorithms and Data Structures - a Case Study with {TRAKLA2}},
Year = {2004}}
@inproceedings{PraBSP05,
Author = {Prados, Ferran and Boada, Imma and Soler, Josep and Poch, Jordi},
Booktitle = {International Conference on Engineering and Computer Education (ICECE 2005)},
Title = {Automatic Generation and Correction of Technical Exercises},
Year = {2005}}
@mastersthesis{Hen12,
Author = {Hendriks, Remco},
School = {Universiteit Van Amsterdam},
Title = {Automatic Exam Correction},
Year = {2012}}
@article{TunLL13,
Author = {Tung, Sho-Huan and Lin, Tsung-Te and Lin, Yen-Hung},
Journal = {Journal of Software},
Month = {July},
Number = {7},
Pages = {1718--1725},
Title = {An Exercise Management System for Teaching Programming},
Volume = {8},
Year = {2013}}
@inproceedings{DenLTH11,
_Publisher = {ACM},
Address = {New York, NY, USA},
Author = {Denny, Paul and Luxton-Reilly, Andrew and Tempero, Ewan and Hendrickx, Jacob},
Booktitle = {Proceedings of the 42nd ACM technical symposium on Computer science education},
Isbn = {978-1-4503-0500-6},
Pages = {471--476},
Title = {Code{W}rite: Supporting Student-Driven Practice of {J}ava},
Year = {2011}}
@article{NauGV10,
Author = {Naud\'e, Kevin A. and Greyling, Jean H. and Vogts, Dieter},
Journal = {Computers \& Education},
Month = {February},
Number = {2},
Pages = {545--561},
Title = {Marking Student Programs Using Graph Similarity},
Volume = {54},
Year = {2010}}
@article{WanSWM07,
Author = {Wang, Tiantian and Su, Xiaohong and Wang, Yuying and Ma, Peijun},
Journal = {Information and Software Technology},
Month = {February},
Number = {2},
Pages = {99--107},
Title = {Semantic Similarity-Based Grading of Student Programs},
Volume = {49},
Year = {2007}}
@inproceedings{LiaLXW09,
Author = {Liang, Yingli and Liu, Quanbo and Xu, Jun and Wang, Dongqing},
Booktitle = {International Conference on Computational Intelligence and Software Engineering (CiSE 2009)},
Isbn = {978-1-4244-4507-3},
Month = {December},
Pages = {1--5},
Publisher = {IEEE},
Title = {The Recent Development of Automated Programming Assessment},
Year = {2009}}
@article{Ala05,
Author = {Ala-Mutka, Kirsti M.},
Journal = {Computer Science Education},
Month = {February},
Number = {2},
Pages = {83--102},
Title = {A Survey of Automated Assessment Approaches for Programming Assignments},
Volume = {15},
Year = {2005}}
@inproceedings{IhaAKS10,
_Publisher = {ACM},
Address = {New York, NY, USA},
Author = {Ihantola, Petri and Ahoniemi, Tuukka and Karavirta, Ville and Seppala, Otto},
Booktitle = {Proceedings of the 10th Koli Calling International Conference on Computing Education Research},
Isbn = {978-1-4503-0520-4},
Pages = {86--93},
Title = {Review of Recent Systems for Automatic Assessment of Programming Assignments},
Year = {2010}}
@inproceedings{RahJ07,
Author = {Abd Rahman, Khirulnizam and Jan Nordin, Md},
Booktitle = {National Conference on Programming 07},
Month = {December},
Title = {A Review on the Static Analysis Approach in the Automated Programming Assessment Systems},
Year = {2007}}
@inproceedings{SupBHMK14,
Author = {Supic, Marko and Brkic, Karla and Hrkac, Tomislav and Mihajlovic, Zeljka and Kalafatic, Zoran},
Booktitle = {International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)},
Isbn = {978-953-233-081-6},
Pages = {1136--1141},
Title = {Automatic Recognition of Handwritten Corrections for Multiple-Choice Exam Answer Sheets},
Year = {2014}}
@article{KitI14,
Author = {Kitaya, Hiroki and Inoue, Ushio},
Journal = {International Journal of Information and Education Technology},
Month = {April},
Number = {4},
Pages = {275--279},
Title = {An Online Automated Scoring System for {J}ava Programming Assignments},
Volume = {6},
Year = {2014}}
@article{PeaSEKM05,
Author = {Pears, Arnold and Seidman, Stephen and Eney, Crystal and Kinnunen, Paivi and Malmi, Lauri},
Journal = {ACM SIGCSE Bulletin},
Month = {December},
Number = {4},
Pages = {152--161},
Title = {Constructing a Core Literature for Computing Education Research},
Volume = {37},
Year = {2005}}
@misc{redbug,
_Note = {\url{http://massemanet.github.io/eper/redbug}, \url{http://blog.engelsanchez.net/2014/05/tracing-erlang-with-redbug-part-1.html}},
Author = {Cronqvist, Mats},
Howpublished = {Available at: \url{https://github.com/massemanet/redbug}},
Title = {redbug},
Year = {2017}}
@misc{dbgErlang,
_Note = {\url{http://www.erlang-factory.com/upload/presentations/316/dbg[1].pdf}},
Author = {{Ericsson AB}},
Howpublished = {Available at: \url{http://erlang.org/doc/man/dbg.html}},
Title = {dbg},
Year = {2017}}
@misc{ttbErlang,
_Note = {\url{http://www.erlang-factory.com/upload/presentations/316/dbg[1].pdf}},
Author = {{Ericsson AB}},
Howpublished = {Available at: \url{http://erlang.org/doc/apps/observer/ttb_ug.html}},
Title = {Trace Tool Builder},
Year = {2017}}
@misc{erlyberly,
_Note = {\url{http://massemanet.github.io/eper/redbug}},
Author = {Till, Andy},
Howpublished = {Available at: \url{https://github.com/andytill/erlyberly}},
Title = {erlyberly},
Year = {2017}}
@article{cuter,
Author = {Aggelos Giantsios and Nikolaos Papaspyrou and Konstantinos Sagonas},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/scp/GiantsiosPS17},
Doi = {10.1016/j.scico.2017.04.008},
Journal = {Sci. Comput. Program.},
Pages = {109--134},
Timestamp = {Mon, 02 Oct 2017 15:57:45 +0200},
Title = {Concolic testing for functional languages},
Url = {https://doi.org/10.1016/j.scico.2017.04.008},
Volume = {147},
Year = {2017},
Bdsk-Url-1 = {https://doi.org/10.1016/j.scico.2017.04.008}}
@inproceedings{proper,
Author = {Manolis Papadakis and Konstantinos Sagonas},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/erlang/PapadakisS11},
Booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo, Japan, September 23, 2011},
Doi = {10.1145/2034654.2034663},
Editor = {Kenji Rikitake and Erik Stenman},
Pages = {39--50},
Publisher = {{ACM}},
Timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
Title = {A {PropEr} integration of types and function specifications with property-based testing},
Url = {http://doi.acm.org/10.1145/2034654.2034663},
Year = {2011},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2034654.2034663},
Bdsk-Url-2 = {https://doi.org/10.1145/2034654.2034663}}
@inproceedings{typer,
Author = {Tobias Lindahl and Konstantinos Sagonas},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/erlang/LindahlS05},
Booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN} Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005},
Doi = {10.1145/1088361.1088366},
Editor = {Konstantinos Sagonas and Joe Armstrong},
Pages = {17--25},
Publisher = {{ACM}},
Timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
Title = {{TypEr}: a type annotator of {E}rlang code},
Url = {http://doi.acm.org/10.1145/1088361.1088366},
Year = {2005},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1088361.1088366},
Bdsk-Url-2 = {https://doi.org/10.1145/1088361.1088366}}
@inproceedings{yu2012practical,
Author = {Yu, Kai and Lin, Mengxiang and Chen, Jin and Zhang, Xiangyu},
Booktitle = {Proceedings of the 27th IEEE/ACM Int. Conference on Automated Software Engineering},
Organization = {ACM},
Pages = {20--29},
Title = {Practical isolation of failure-inducing changes for debugging regression faults},
Year = {2012}}
@inproceedings{zhang2013injecting,
Author = {Zhang, Lingming and Zhang, Lu and Khurshid, Sarfraz},
Booktitle = {ACM SIGPLAN Notices},
Number = {10},
Organization = {ACM},
Pages = {765--784},
Title = {Injecting mechanical faults to localize developer faults for evolving software},
Volume = {48},
Year = {2013}}
@article{soares2013automated,
Author = {Soares, Gustavo and Gheyi, Rohit and Massoni, Tiago},
Journal = {IEEE Transactions on Software Engineering},
Number = {2},
Pages = {147--162},
Publisher = {IEEE},
Title = {Automated behavioral testing of refactoring engines},
Volume = {39},
Year = {2013}}
@inproceedings{mongiovi2011safira,
Author = {Mongiovi, Melina},
Booktitle = {Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion},
Organization = {ACM},
Pages = {213--214},
Title = {Safira: A tool for evaluating behavior preservation},
Year = {2011}}
@article{korel1998automated,
Author = {Korel, Bogdan and Al-Yami, Ali M},
Journal = {ACM SIGSOFT Software Engineering Notes},
Number = {2},
Pages = {143--152},
Publisher = {ACM},
Title = {Automated regression test generation},
Volume = {23},
Year = {1998}}
@article{yoo2012regression,
Author = {Yoo, Shin and Harman, Mark},
Journal = {Software Testing, Verification and Reliability},
Number = {2},
Pages = {67--120},
Publisher = {Wiley Online Library},
Title = {Regression testing minimization, selection and prioritization: a survey},
Volume = {22},
Year = {2012}}
@article{toth2013reduction,
Author = {T{\'o}th, Istv{\'a}n Boz{\'o} Melinda and Horv{\'a}th, Zolt{\'a}n},
Title = {Reduction of regression tests for {E}rlang based on impact analysis},
Year = {2013}}
@inproceedings{bozo2011selecting,
Author = {Boz{\'o}, Istv{\'a}n and T{\'o}th, Melinda and Simos, Theodore E and Psihoyios, George and Tsitouras, Ch and Anastassi, Zacharias},
Booktitle = {AIP Conference Proceedings},
Number = {1},
Organization = {AIP},
Pages = {802--805},
Title = {Selecting {E}rlang test cases using impact analysis},
Volume = {1389},
Year = {2011}}
@inproceedings{taylor2012using,
Author = {Taylor, Ramsay and Hall, Mathew and Bogdanov, Kirill and Derrick, John},
Booktitle = {IFIP International Conference on Testing Software and Systems},
Organization = {Springer},
Pages = {184--199},
Title = {Using behaviour inference to optimise regression test sets},
Year = {2012}}
@incollection{toth2010impact,
Author = {T{\'o}th, Melinda and Boz{\'o}, Istv{\'a}n and Horv{\'a}th, Zolt{\'a}n and L{\"o}vei, L{\'a}szl{\'o} and Tejfel, M{\'a}t{\'e} and Kozsik, Tam{\'a}s},
Booktitle = {Central European Functional Programming School},
Pages = {372--390},
Publisher = {Springer},
Title = {Impact analysis of {E}rlang programs using behaviour dependency graphs},
Year = {2010}}
@inproceedings{li2007testing,
Author = {Li, Huiqing and Thompson, Simon},
Booktitle = {Symposium on Implementation and Application of Functional Languages},
Organization = {Springer},
Pages = {19--36},
Title = {Testing Erlang refactorings with {Q}uick{C}heck},
Year = {2007}}
@misc{jumpertz2010using,
Author = {Jumpertz, Elroy},
School = {Master?s thesis, Radboud University Nijmegen},
Title = {Using {Q}uick{C}heck and semantic analysis to verify correctness of {E}rlang refactoring transformations; {M}aster's thesis, {R}adboud {U}niversity {N}ijmegen},
Year = {2010}}
@article{devanbu1999genoa,
Author = {Devanbu, Premkumar T},
Journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
Number = {2},
Pages = {177--212},
Publisher = {ACM},
Title = {GENOA: a customizable, front-end-retargetable source code analysis framework},
Volume = {8},
Year = {1999}}
@article{rakic2013introducing,
Author = {Raki{\'c}, Gordana and Budimac, Zoran},
Journal = {arXiv preprint arXiv:1310.0802},
Title = {Introducing enriched concrete syntax trees},
Year = {2013}}
@misc{astm,
Author = {Object Management Group, Inc},
Howpublished = {Available at: \url{http://www.omg.org/spec/ASTM/1.0/}},
Title = {Architecture-driven Modernization; Abstract Syntax Tree Metamodel (ASTM)},
Year = {2017}}
@phdthesis{mcnellis2016construction,
Author = {McNellis, Zachary},
School = {Clemson University},
Title = {Construction of a generic program representation for automated metric computation},
Year = {2016}}
@inproceedings{higo2011pluggable,
Author = {Higo, Yoshiki and Saitoh, Akira and Yamada, Goro and Miyake, Tatsuya and Kusumoto, Shinji and Inoue, Katsuro},
Booktitle = {Joint Conference of the 21st Int'l Workshop on Software Measurement and 6th Int'l Conference on Software Process and Product Measurement (IWSM-MENSURA)},
Organization = {IEEE},
Pages = {3--12},
Title = {A pluggable tool for measuring software metrics from source code},
Year = {2011}}
@phdthesis{Sakamoto2013study,
Author = {Kazunori Sakamoto},
School = {Waseda University},
Title = {A study on source code reengineering frameworks supporting multiple programming languages},
Year = {2013}}
@inproceedings{falcon2009gel,
Author = {Falcon, Jose and Cook, William R},
Booktitle = {DSL},
Organization = {Springer},
Pages = {58--77},
Title = {Gel: A Generic Extensible Language.},
Year = {2009}}
@article{albert2009cost,
Author = {Albert, Elvira and Arenas, Puri and Genaim, Samir and Puebla, Germ{\'a}n},
Journal = {Electronic Notes in Theoretical Computer Science},
Pages = {31--46},
Publisher = {Elsevier},
Title = {Cost relation systems: A language-independent target language for cost analysis},
Volume = {248},
Year = {2009}}
@inproceedings{kraft2008cross,
Author = {Kraft, Nicholas A and Bonds, Brandon W and Smith, Randy K},
Booktitle = {SEKE},
Pages = {54--59},
Title = {Cross-language Clone Detection.},
Year = {2008}}
@inproceedings{lafferty2003language,
Author = {Lafferty, Donal and Cahill, Vinny},
Booktitle = {ACM SIGPLAN Notices},
Number = {11},
Organization = {ACM},
Pages = {1--12},
Title = {Language-independent aspect-oriented programming},
Volume = {38},
Year = {2003}}
@inproceedings{strein2006cross,
Author = {Strein, Dennis and Kratz, Hans and Lowe, Welf},
Booktitle = {Source Code Analysis and Manipulation, 2006. SCAM'06. Sixth IEEE International Workshop on},
Organization = {IEEE},
Pages = {207--216},
Title = {Cross-language program analysis and refactoring},
Year = {2006}}
@inproceedings{baxter2004dms,
Address = {Edinburgh, UK},
Author = {Baxter, Ira D and Pidgeon, Christopher and Mehlich, Michael},
Booktitle = {Proceedings. 26th International Conference on Software Engineering},
Doi = {10.1109/ICSE.2004.1317484},
Issn = {0270-5257},
Keywords = {knowledge acquisition;program diagnostics;software maintenance;software prototyping;systems re-engineering;DMS{\"\i}¿{\oe};design maintenance;knowledge acquisition;program analysis;program transformations;software evolution;software reengineering;space management;Concurrent computing;Java;Knowledge acquisition;Knowledge management;Large-scale systems;Paper technology;Parallel processing;Software maintenance;Software tools;Space technology},
Month = {May},
Pages = {625-634},
Publisher = {IEEE},
Title = {DMS/spl\textsuperscript{\textregistered}program transformations for practical scalable software evolution},
Year = {2004},
Bdsk-Url-1 = {https://doi.org/10.1109/ICSE.2004.1317484}}
@article{bravenboer2008stratego,
Author = {Bravenboer, Martin and Kalleberg, Karl Trygve and Vermaas, Rob and Visser, Eelco},
Journal = {Science of computer programming},
Number = {1},
Pages = {52--70},
Publisher = {Elsevier},
Title = {Stratego/XT 0.17. A language and toolset for program transformation},
Volume = {72},
Year = {2008}}
@inproceedings{riesco2012generic,
Author = {Riesco, Adri{\'a}n and As{\u{a}}voae, Irina M{\u{a}}riuca and As{\u{a}}voae, Mihail},
Booktitle = {International Workshop on Algebraic Development Techniques},
Date-Modified = {2020-03-03 17:22:49 +0100},
Keywords = {program slicing},
Organization = {Springer},
Pages = {248--264},
Title = {A generic program slicing technique based on language definitions},
Year = {2012}}
@inproceedings{nguyen2015cross,
Author = {Nguyen, Hung Viet and K{\"a}stner, Christian and Nguyen, Tien N},
Booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering},
Organization = {ACM},
Pages = {369--380},
Title = {Cross-language program slicing for dynamic web applications},
Year = {2015}}
@inproceedings{pocza2005cross,
Author = {P{\'o}cza, Kriszti{\'a}n and Bicz{\'o}, Mih{\'a}ly and Porkol{\'a}b, Zolt{\'a}n},
Booktitle = {Proc. of the 3rd .NET Technologies Conference},
Pages = {141--150},
Title = {Cross-language program slicing in the .NET framework},
Year = {2005}}
@inproceedings{sloane1996beyond,
Author = {Sloane, Anthony M and Holdsworth, Jason},
Booktitle = {ACM SIGSOFT Software Engineering Notes},
Number = {3},
Organization = {ACM},
Pages = {180--186},
Title = {Beyond traditional program slicing},
Volume = {21},
Year = {1996}}
@techreport{Ern94,
author = {Ernst, Michael D},
title = {Practical fine-grained static slicing of optimized code},
institution = {Technical Report MSRTR-94-14, Microsoft Research, Redmond, WA},
year = {1994}
}
@article{vankov2005relational,
Author = {Vankov, Ivan},
Journal = {Master's thesis, University of Amsterdam},
Title = {Relational approach to program slicing},
Year = {2005}}
@inproceedings{balakrishnan2005codesurfer,
Author = {Balakrishnan, Gogul and Gruian, Radu and Reps, Thomas and Teitelbaum, Tim},
Booktitle = {Compiler Construction},
Organization = {Springer},
Pages = {139--139},
Title = {CodeSurfer/x86: A platform for analyzing x86 executables},
Year = {2005}}
@article{insa2017LOPSTR,
Archiveprefix = {arXiv},
Author = {David Insa and Sergio P{\'{e}}rez and Josep Silva and Salvador Tamarit},
Bibsource = {dblp computer science bibliography, http://dblp.org},
Biburl = {http://dblp.org/rec/bib/journals/corr/abs-1709-05291},
Eprint = {1709.05291},
Journal = {Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)},
Timestamp = {Thu, 05 October 2017 09:42:52 +0200},
Title = {Erlang Code Evolution Control},
Url = {http://arxiv.org/abs/1709.05291},
Volume = {abs/1709.05291},
Year = {2017},
Bdsk-Url-1 = {http://arxiv.org/abs/1709.05291}}
@article{insa2017LOPSTR_LNCS,
Author = {David Insa and Sergio P{\'{e}}rez and Josep Silva and Salvador Tamarit},
Journal = {Logic-Based Program Synthesis and Transformation (LOPSTR 2017) Lecture Notes in Computer Science},
Pages = {128--144},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science (LNCS)},
Title = {Erlang Code Evolution Control},
Volume = {10855},
Year = {2018}}
@article{insa2018_arxiv,
Archiveprefix = {arXiv},
Author = {David Insa and Sergio P{\'{e}}rez and Josep Silva and Salvador Tamarit},
Bibsource = {dblp computer science bibliography, http://dblp.org},
Biburl = {http://dblp.org/rec/bib/journals/corr/abs-1802-03998},
Eprint = {1802.03998},
Journal = {CoRR},
Title = {Erlang Code Evolution Control (Use cases)},
Url = {http://arxiv.org/abs/1802.03998},
Volume = {abs/1802.03998},
Year = {2018},
Bdsk-Url-1 = {http://arxiv.org/abs/1802.03998}}
@misc{wired2018,
_Note = {\url{https://www.wired.co.uk/article/ubisoft-commit-assist-ai}},
Author = {{wired.co.uk}},
Howpublished = {Available at: \url{https://www.wired.co.uk/article/ubisoft-commit-assist-ai}},
Title = {{U}bisoft is using {AI} to catch bugs in games before devs make them},
Year = {2018}}
@article{QRLV12,
Author = {Dawei Qi and Abhik Roychoudhury and Zhenkai Liang and Kapil Vaswani},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/tosem/QiRLV12},
Doi = {10.1145/2211616.2211622},
Journal = {{ACM} Trans. Softw. Eng. Methodol.},
Number = {3},
Pages = {19:1--19:29},
Timestamp = {Wed, 14 Jun 2017 20:29:36 +0200},
Title = {{DARWIN:} An approach to debugging evolving programs},
Url = {http://doi.acm.org/10.1145/2211616.2211622},
Volume = {21},
Year = {2012},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2211616.2211622},
Bdsk-Url-2 = {https://doi.org/10.1145/2211616.2211622}}
@inproceedings{EngR10,
Author = {Emelie Engstr{\"{o}}m and Per Runeson},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/profes/EngstromR10},
Booktitle = {Product-Focused Software Process Improvement, 11th International Conference, {PROFES} 2010, Limerick, Ireland, June 21-23, 2010. Proceedings},
Doi = {10.1007/978-3-642-13792-1_3},
Editor = {Muhammad Ali Babar and Matias Vierimaa and Markku Oivo},
Isbn = {978-3-642-13791-4},
Pages = {3--16},
Publisher = {Springer},
Series = {Lecture Notes in Business Information Processing},
Timestamp = {Mon, 05 Jun 2017 12:42:05 +0200},
Title = {{A Qualitative Survey of Regression Testing Practices}},
Url = {https://doi.org/10.1007/978-3-642-13792-1_3},
Volume = {6156},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-13792-1_3}}
@inproceedings{PLEB07,
Author = {Carlos Pacheco and Shuvendu K. Lahiri and Michael D. Ernst and Thomas Ball},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/icse/PachecoLEB07},
Booktitle = {29th International Conference on Software Engineering {(ICSE} 2007), Minneapolis, MN, USA, May 20-26, 2007},
Doi = {10.1109/ICSE.2007.37},
Isbn = {0-7695-2828-7},
Pages = {75--84},
Publisher = {{IEEE} Computer Society},
Timestamp = {Tue, 23 May 2017 01:11:37 +0200},
Title = {{Feedback-Directed Random Test Generation}},
Url = {https://doi.org/10.1109/ICSE.2007.37},
Year = {2007},
Bdsk-Url-1 = {https://doi.org/10.1109/ICSE.2007.37}}
@article{BARM15,
Archiveprefix = {arXiv},
Author = {Benoit Baudry and Simon Allier and Marcelino Rodriguez{-}Cancio and Martin Monperrus},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/corr/BaudryARM15},
Eprint = {1503.05807},
Journal = {CoRR},
Timestamp = {Wed, 07 Jun 2017 14:41:05 +0200},
Title = {{DSpot: Test Amplification for Automatic Assessment of Computational Diversity}},
Url = {http://arxiv.org/abs/1503.05807},
Volume = {abs/1503.05807},
Year = {2015},
Bdsk-Url-1 = {http://arxiv.org/abs/1503.05807}}
@inproceedings{LinS04,
Author = {Tobias Lindahl and Konstantinos Sagonas},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/aplas/LindahlS04},
Booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS} 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
Doi = {10.1007/978-3-540-30477-7_7},
Isbn = {3-540-23724-0},
Pages = {91--106},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
Title = {{Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: {A} War Story}},
Url = {https://doi.org/10.1007/978-3-540-30477-7_7},
Volume = {3302},
Year = {2004},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-540-30477-7_7}}
@inproceedings{AHJW06,
Author = {Arts, Thomas and Hughes, John},
Booktitle = {Ninth International Erlang/OTP User Conference},
Title = {Erlang/quickcheck},
Year = {2003}}
@inproceedings{AHJW06_original,
Author = {Thomas Arts and John Hughes and Joakim Johansson and Ulf T. Wiger},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/erlang/ArtsHJW06},
Booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Erlang, Portland, Oregon, USA, September 16, 2006},
Doi = {10.1145/1159789.1159792},
Isbn = {1-59593-490-1},
Pages = {2--10},
Publisher = {{ACM}},
Timestamp = {Wed, 08 Feb 2012 19:05:46 +0100},
Title = {{Testing telecoms software with quviq QuickCheck}},
Url = {http://doi.acm.org/10.1145/1159789.1159792},
Year = {2006},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1159789.1159792},
Bdsk-Url-2 = {https://doi.org/10.1145/1159789.1159792}}
@inproceedings{CarR06,
Author = {Richard Carlsson and Micka{\"{e}}l R{\'{e}}mond},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/erlang/CarlssonR06},
Booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Erlang, Portland, Oregon, USA, September 16, 2006},
Doi = {10.1145/1159789.1159791},
Isbn = {1-59593-490-1},
Pages = {1},
Publisher = {{ACM}},
Timestamp = {Wed, 02 Apr 2008 11:02:05 +0200},
Title = {{EUnit: a lightweight unit testing framework for Erlang}},
Url = {http://doi.acm.org/10.1145/1159789.1159791},
Year = {2006},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1159789.1159791},
Bdsk-Url-2 = {https://doi.org/10.1145/1159789.1159791}}
@misc{erlang_debugger,
_Note = {\url{http://erlang.org/doc/apps/debugger/users_guide.html}},
Author = {{E}ricsson {AB}},
Howpublished = {Available at: \url{http://erlang.org/doc/apps/debugger/users_guide.html}},
Title = {{D}ebugger {U}ser's {G}uide},
Year = {2018}}
@article{ABCCCGHHMOE13,
Author = {Saswat Anand and Edmund K. Burke and Tsong Yueh Chen and John A. Clark and Myra B. Cohen and Wolfgang Grieskamp and Mark Harman and Mary Jean Harrold and Phil McMinn},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/jss/AnandBCCCGHHMOE13},
Doi = {10.1016/j.jss.2013.02.061},
Journal = {Journal of Systems and Software},
Number = {8},
Pages = {1978--2001},
Timestamp = {Tue, 06 Jun 2017 22:23:59 +0200},
Title = {{An orchestrated survey of methodologies for automated software test case generation}},
Url = {https://doi.org/10.1016/j.jss.2013.02.061},
Volume = {86},
Year = {2013},
Bdsk-Url-1 = {https://doi.org/10.1016/j.jss.2013.02.061}}
@article{DVYMB17,
Archiveprefix = {arXiv},
Author = {Benjamin Danglot and Oscar Vera{-}Perez and Zhongxing Yu and Martin Monperrus and Benoit Baudry},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/corr/DanglotVYMB17},
Eprint = {1705.10692},
Journal = {CoRR},
Timestamp = {Wed, 07 Jun 2017 14:40:49 +0200},
Title = {{The Emerging Field of Test Amplification: {A} Survey}},
Url = {http://arxiv.org/abs/1705.10692},
Volume = {abs/1705.10692},
Year = {2017},
Bdsk-Url-1 = {http://arxiv.org/abs/1705.10692}}
@inproceedings{RamGJ06,
Author = {Murali Krishna Ramanathan and Ananth Grama and Suresh Jagannathan},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/kbse/RamanathanGJ06},
Booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
Doi = {10.1109/ASE.2006.61},
Isbn = {0-7695-2579-2},
Pages = {241--252},
Publisher = {{IEEE} Computer Society},
Timestamp = {Tue, 23 May 2017 01:06:51 +0200},
Title = {{Sieve: {A} Tool for Automatically Detecting Variations Across Program Versions}},
Url = {https://doi.org/10.1109/ASE.2006.61},
Year = {2006},
Bdsk-Url-1 = {https://doi.org/10.1109/ASE.2006.61}}
@inproceedings{MirA11,
Author = {Mehdi MirzaAghaei},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/sigsoft/MirzaAghaei11},
Booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011},
Doi = {10.1145/2025113.2025172},
Editor = {Tibor Gyim{\'{o}}thy and Andreas Zeller},
Pages = {396--399},
Publisher = {{ACM}},
Timestamp = {Thu, 25 May 2017 00:43:00 +0200},
Title = {{Automatic test suite evolution}},
Url = {http://doi.acm.org/10.1145/2025113.2025172},
Year = {2011},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2025113.2025172},
Bdsk-Url-2 = {https://doi.org/10.1145/2025113.2025172}}
@inproceedings{TanX08,
Author = {Kunal Taneja and Tao Xie},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/kbse/TanejaX08},
Booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
Doi = {10.1109/ASE.2008.60},
Pages = {407--410},
Publisher = {{IEEE} Computer Society},
Timestamp = {Tue, 17 Oct 2017 12:29:58 +0200},
Title = {{DiffGen: Automated Regression Unit-Test Generation}},
Url = {https://doi.org/10.1109/ASE.2008.60},
Year = {2008},
Bdsk-Url-1 = {https://doi.org/10.1109/ASE.2008.60}}
@inproceedings{TanXTH11,
Author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan de Halleux},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/issta/TanejaXTH11},
Booktitle = {Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
Doi = {10.1145/2001420.2001422},
Editor = {Matthew B. Dwyer and Frank Tip},
Pages = {1--11},
Publisher = {{ACM}},
Timestamp = {Fri, 06 Oct 2017 17:24:21 +0200},
Title = {{eXpress: guided path exploration for efficient regression test generation}},
Url = {http://doi.acm.org/10.1145/2001420.2001422},
Year = {2011},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2001420.2001422},
Bdsk-Url-2 = {https://doi.org/10.1145/2001420.2001422}}
@inproceedings{CadDE08,
Author = {Cristian Cadar and Daniel Dunbar and Dawson R. Engler},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/osdi/CadarDE08},
Booktitle = {8th {USENIX} Symposium on Operating Systems Design and Implementation, {OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
Editor = {Richard Draves and Robbert van Renesse},
Pages = {209--224},
Publisher = {{USENIX} Association},
Timestamp = {Thu, 15 May 2014 18:36:23 +0200},
Title = {{KLEE:} {Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs}},
Url = {http://www.usenix.org/events/osdi08/tech/full_papers/cadar/cadar.pdf},
Year = {2008},
Bdsk-Url-1 = {http://www.usenix.org/events/osdi08/tech/full_papers/cadar/cadar.pdf}}
@inproceedings{NasZR10,
Author = {Leila Naslavsky and Hadar Ziv and Debra J. Richardson},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/icst/NaslavskyZR10},
Booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
Doi = {10.1109/ICST.2010.61},
Pages = {89--98},
Publisher = {{IEEE} Computer Society},
Timestamp = {Wed, 24 May 2017 08:30:37 +0200},
Title = {{MbSRT2}: Model-Based Selective Regression Testing with Traceability},
Url = {https://doi.org/10.1109/ICST.2010.61},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1109/ICST.2010.61}}
@inproceedings{ChePU07,
Author = {Yanping Chen and Robert L. Probert and Hasan Ural},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/amost/ChenPU07},
Booktitle = {Proceedings of the 3rd Workshop on Advances in Model Based Testing, {A-MOST} 2007, co-located with the {ISSTA} 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12},
Doi = {10.1145/1291535.1291541},
Pages = {54--62},
Publisher = {{ACM}},
Timestamp = {Mon, 18 Nov 2013 10:46:50 +0100},
Title = {{M}odel-based regression test suite generation using dependence analysis},
Url = {http://doi.acm.org/10.1145/1291535.1291541},
Year = {2007},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1291535.1291541},
Bdsk-Url-2 = {https://doi.org/10.1145/1291535.1291541}}
@inproceedings{ZHZLC10,
Author = {Zhihao Zhang and Jun Huang and Bo Zhang and Jinlong Lin and Xiaolan Chen},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/iccsa/ZhangHZLC10},
Booktitle = {Prodeedings of the 2010 International Conference on Computational Science and Its Applications, {ICCSA} 2010, Fukuoka, Japan, March 23-26, 2010},
Doi = {10.1109/ICCSA.2010.59},
Editor = {Bernady O. Apduhan and Osvaldo Gervasi and Andr{\'{e}}s Iglesias and David Taniar and Marina L. Gavrilova},
Pages = {244--249},
Publisher = {{IEEE} Computer Society},
Timestamp = {Wed, 24 May 2017 08:30:24 +0200},
Title = {{R}egression {T}est {G}eneration {A}pproach {B}ased on {T}ree-{S}tructured Analysis},
Url = {https://doi.org/10.1109/ICCSA.2010.59},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1109/ICCSA.2010.59}}
@inproceedings{QiRL10,
Author = {Dawei Qi and Abhik Roychoudhury and Zhenkai Liang},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/kbse/QiRL10},
Booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010},
Doi = {10.1145/1858996.1859083},
Editor = {Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto},
Pages = {397--406},
Publisher = {{ACM}},
Timestamp = {Thu, 15 Jun 2017 21:35:06 +0200},
Title = {{T}est generation to expose changes in evolving programs},
Url = {http://doi.acm.org/10.1145/1858996.1859083},
Year = {2010},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1858996.1859083},
Bdsk-Url-2 = {https://doi.org/10.1145/1858996.1859083}}
@article{AFMS96,
Author = {Abramson, David and Foster, Ian and Michalakes, John and Sosi{\v{c}}, Rok},
Journal = {Communications of the ACM},
Number = {11},
Pages = {69--77},
Publisher = {ACM},
Title = {Relative debugging: A new methodology for debugging scientific applications},
Volume = {39},
Year = {1996}}
@inproceedings{DAKJMR11,
Author = {Minh Ngoc Dinh and David Abramson and Donny Kurniawan and Chao Jin and Bob Moench and Luiz De Rose},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/ccgrid/DinhAKJMR11},
Booktitle = {11th {IEEE/ACM} International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2011, Newport Beach, CA, USA, May 23-26, 2011},
Doi = {10.1109/CCGrid.2011.44},
Pages = {63--72},
Publisher = {{IEEE} Computer Society},
Timestamp = {Thu, 15 Jun 2017 21:39:36 +0200},
Title = {Assertion Based Parallel Debugging},
Url = {https://doi.org/10.1109/CCGrid.2011.44},
Year = {2011},
Bdsk-Url-1 = {https://doi.org/10.1109/CCGrid.2011.44}}
@article{DAJ14,
Author = {Minh Ngoc Dinh and David Abramson and Chao Jin},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/tpds/DinhAJ14},
Doi = {10.1109/TPDS.2013.86},
Journal = {{IEEE} Trans. Parallel Distrib. Syst.},
Number = {3},
Pages = {740--749},
Timestamp = {Thu, 15 Jun 2017 21:24:36 +0200},
Title = {Scalable Relative Debugging},
Url = {https://doi.org/10.1109/TPDS.2013.86},
Volume = {25},
Year = {2014},
Bdsk-Url-1 = {https://doi.org/10.1109/TPDS.2013.86}}
@article{IPST18,
Author = {Insa, David and P{\'e}rez, Sergio and Silva, Josep and Tamarit, Salvador},
Doi = {10.1155/2018/9251762},
Journal = {Scientific Programming},
Pages = {1--42},
Publisher = {Hindawi},
Title = {{B}ehaviour {P}reservation across {C}ode {V}ersions in {E}rlang},
Url = {https://www.hindawi.com/journals/sp/aip/9251762/},
Volume = {vol. 2018, Article ID 9251762},
Year = {2018},
Bdsk-Url-1 = {https://www.hindawi.com/journals/sp/aip/9251762/},
Bdsk-Url-2 = {https://doi.org/10.1155/2018/9251762}}
@article{XieN05,
Author = {Tao Xie and David Notkin},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/tse/XieN05},
Doi = {10.1109/TSE.2005.107},
Journal = {{IEEE} Trans. Software Eng.},
Number = {10},
Pages = {869--883},
Timestamp = {Wed, 11 Oct 2017 12:04:29 +0200},
Title = {Checking Inside the Black Box: Regression Testing by Comparing Value Spectra},
Url = {https://doi.org/10.1109/TSE.2005.107},
Volume = {31},
Year = {2005},
Bdsk-Url-1 = {https://doi.org/10.1109/TSE.2005.107}}
@inproceedings{RBDL98,
Author = {Thomas W. Reps and Thomas Ball and Manuvir Das and James R. Larus},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/esec/RepsBDL98},
Booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings},
Doi = {10.1007/3-540-63531-9_29},
Editor = {Mehdi Jazayeri and Helmut Schauer},
Pages = {432--449},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Tue, 23 May 2017 11:53:58 +0200},
Title = {The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem},
Url = {https://doi.org/10.1007/3-540-63531-9_29},
Volume = {1301},
Year = {1997},
Bdsk-Url-1 = {https://doi.org/10.1007/3-540-63531-9_29}}
@inproceedings{SchBP10,
Author = {Adrian Schr{\"{o}}ter and Nicolas Bettenburg and Rahul Premraj},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/msr/SchroterBP10},
Booktitle = {Proceedings of the 7th International Working Conference on Mining Software Repositories, {MSR} 2010 (Co-located with ICSE), Cape Town, South Africa, May 2-3, 2010, Proceedings},
Doi = {10.1109/MSR.2010.5463280},
Editor = {Jim Whitehead and Thomas Zimmermann},
Pages = {118--121},
Publisher = {{IEEE} Computer Society},
Timestamp = {Fri, 26 May 2017 00:49:50 +0200},
Title = {Do stack traces help developers fix bugs?},
Url = {https://doi.org/10.1109/MSR.2010.5463280},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1109/MSR.2010.5463280}}
@article{BMRC05,
Author = {Brodie, Mark and Ma, Sheng and Rachevsky, Leonid and Champlin, Jon},
Journal = {Journal of Network and Systems Management},
Number = {2},
Pages = {219--237},
Publisher = {Springer},
Title = {Automated problem determination using call-stack matching},
Volume = {13},
Year = {2005}}
@inproceedings{JLS07,
Author = {Miguel Jimenez and Tobias Lindahl and Konstantinos Sagonas},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/erlang/JimenezLS07},
Booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg, Germany, October 5, 2007},
Doi = {10.1145/1292520.1292523},
Editor = {Simon J. Thompson and Lars{-}{\AA}ke Fredlund},
Pages = {11--17},
Publisher = {{ACM}},
Timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
Title = {A language for specifying type contracts in Erlang and its interaction with success typings},
Url = {http://doi.acm.org/10.1145/1292520.1292523},
Year = {2007},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1292520.1292523},
Bdsk-Url-2 = {https://doi.org/10.1145/1292520.1292523}}
@article{Mey92,
Author = {Bertrand Meyer},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/computer/Meyer92},
Doi = {10.1109/2.161279},
Journal = {{IEEE} Computer},
Number = {10},
Pages = {40--51},
Timestamp = {Mon, 30 Oct 2017 11:35:06 +0100},
Title = {{A}pplying "{D}esign by {C}ontract"},
Url = {https://doi.org/10.1109/2.161279},
Volume = {25},
Year = {1992},
Bdsk-Url-1 = {https://doi.org/10.1109/2.161279}}
@misc{Sheriff,
Author = {Lo{\~A}¯c Hoguin and William Dang},
Howpublished = {Available at: \url{https://github.com/extend/sheriff}},
Title = {Sheriff},
Year = {2013}}
@inproceedings{Lei10,
Author = {K. Rustan M. Leino},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/lpar/Leino10},
Booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers},
Doi = {10.1007/978-3-642-17511-4_20},
Editor = {Edmund M. Clarke and Andrei Voronkov},
Pages = {348--370},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Tue, 23 May 2017 01:12:11 +0200},
Title = {Dafny: An Automatic Program Verifier for Functional Correctness},
Url = {https://doi.org/10.1007/978-3-642-17511-4_20},
Volume = {6355},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-17511-4_20}}
@inproceedings{PS10,
Author = {Mihalis Pitidis and Konstantinos Sagonas},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/ifl/PitidisS10},
Booktitle = {Implementation and Application of Functional Languages - 22nd International Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers},
Doi = {10.1007/978-3-642-24276-2_9},
Editor = {Jurriaan Hage and Marco T. Moraz{\'{a}}n},
Pages = {137--152},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
Title = {Purity in {E}rlang},
Url = {https://doi.org/10.1007/978-3-642-24276-2_9},
Volume = {6647},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-24276-2_9}}
@misc{edoc,
Author = {{Ericsson AB}},
Howpublished = {Available at: \url{http://erlang.org/doc/apps/edoc/chapter.html}},
Title = {{ED}oc},
Year = {2018}}
@inproceedings{CR06,
Author = {Richard Carlsson and Micka{\"{e}}l R{\'{e}}mond},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/erlang/CarlssonR06},
Booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Erlang, Portland, Oregon, USA, September 16, 2006},
Doi = {10.1145/1159789.1159791},
Editor = {Marc Feeley and Philip W. Trinder},
Pages = {1},
Publisher = {{ACM}},
Timestamp = {Wed, 02 Apr 2008 11:02:05 +0200},
Title = {E{U}nit: a lightweight unit testing framework for {E}rlang},
Url = {http://doi.acm.org/10.1145/1159789.1159791},
Year = {2006},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1159789.1159791},
Bdsk-Url-2 = {https://doi.org/10.1145/1159789.1159791}}
@inproceedings{AH12,
Author = {Sergio Antoy and Michael Hanus},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/padl/AntoyH12},
Booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium, {PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
Doi = {10.1007/978-3-642-27694-1_4},
Editor = {Claudio V. Russo and Neng{-}Fa Zhou},
Pages = {33--47},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Wed, 17 May 2017 14:24:45 +0200},
Title = {Contracts and Specifications for Functional Logic Programming},
Url = {https://doi.org/10.1007/978-3-642-27694-1_4},
Volume = {7149},
Year = {2012},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-27694-1_4}}
@inproceedings{HMCM09,
Author = {{\'{A}}ngel Herranz{-}Nieva and Julio Mari{\~{n}}o and Manuel Carro and Juan Jos{\'{e}} Moreno{-}Navarro},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/fmics/Herranz-NievaMCM09},
Booktitle = {Formal Methods for Industrial Critical Systems, 14th International Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings},
Doi = {10.1007/978-3-642-04570-7_9},
Editor = {Mar{\'{\i}}a Alpuente and Byron Cook and Christophe Joubert},
Pages = {102--116},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Sat, 16 Sep 2017 12:12:00 +0200},
Title = {Modeling Concurrent Systems with Shared Resources},
Url = {https://doi.org/10.1007/978-3-642-04570-7_9},
Volume = {5825},
Year = {2009},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-04570-7_9}}
@article{FMAH16,
Abstract = { The paper describes a framework for testing a class of safety-critical concurrent systems implemented using shared resource specifications. Shared resources contain declarative specifications of process interaction that can be used to derive, in a model-driven way, the most critical parts of a concurrent system. Here, we propose their use to build a state-based model that will help in testing a real implementation of the resource. The framework has been implemented using Erlang and QuickCheck and its source code is available. The paper also provides a novel parametric operational semantics for shared resources with scheduling policy annotations and a methodology to guide test-case generation from the shared resource specifications and a classification of common mistakes. We illustrate our framework by applying it to testing Java implementations of a prototypical automated shipping plant. },
Author = {Lars-{\~A}{\"y}ke Fredlund and Julio Mari{\~A}$\pm$o and Ra{\~A}ºl NN Alborodo and {\~A}{\"y}ngel Herranz},
Doi = {10.1177/1748006X15614231},
Eprint = {https://doi.org/10.1177/1748006X15614231},
Journal = {Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability},
Number = {5},
Pages = {457-472},
Title = {A testing-based approach to ensure the safety of shared resource concurrent systems},
Url = {https://doi.org/10.1177/1748006X15614231},
Volume = {230},
Year = {2016},
Bdsk-Url-1 = {https://doi.org/10.1177/1748006X15614231}}
@inproceedings{CFAI17,
Author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/erlang/CassarFAI17},
Booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017},
Doi = {10.1145/3123569.3123570},
Editor = {Natalia Chechina and Scott Lystig Fritchie},
Pages = {20--30},
Publisher = {{ACM}},
Timestamp = {Mon, 11 Sep 2017 08:57:38 +0200},
Title = {e{AOP}: an aspect oriented programming framework for {E}rlang},
Url = {http://doi.acm.org/10.1145/3123569.3123570},
Year = {2017},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/3123569.3123570},
Bdsk-Url-2 = {https://doi.org/10.1145/3123569.3123570}}
@inproceedings{CFG11,
Author = {Christian Colombo and Adrian Francalanza and Rudolph Gatt},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/rv/ColomboFG11},
Booktitle = {Runtime Verification - Second International Conference, {RV} 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
Doi = {10.1007/978-3-642-29860-8_29},
Editor = {Sarfraz Khurshid and Koushik Sen},
Pages = {370--374},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Wed, 17 May 2017 14:24:47 +0200},
Title = {Elarva: {A} Monitoring Tool for {E}rlang},
Url = {https://doi.org/10.1007/978-3-642-29860-8_29},
Volume = {7186},
Year = {2011},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-29860-8_29}}
@article{LS05,
Archiveprefix = {arXiv},
Author = {David H. Lorenz and Therapon Skotiniotis},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/journals/corr/abs-cs-0501070},
Eprint = {cs/0501070},
Journal = {CoRR},
Timestamp = {Wed, 07 Jun 2017 14:43:09 +0200},
Title = {Extending {D}esign by {C}ontract for {A}spect-{O}riented {P}rogramming},
Url = {http://arxiv.org/abs/cs/0501070},
Volume = {abs/cs/0501070},
Year = {2005},
Bdsk-Url-1 = {http://arxiv.org/abs/cs/0501070}}
@inproceedings{PE10,
Author = {Hubert Plociniczak and Susan Eisenbach},
Bibsource = {dblp computer science bibliography, https://dblp.org},
Biburl = {https://dblp.org/rec/bib/conf/coordination/PlociniczakE10},
Booktitle = {Coordination Models and Languages, 12th International Conference, {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
Doi = {10.1007/978-3-642-13414-2_5},
Editor = {Dave Clarke and Gul A. Agha},
Pages = {61--75},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Timestamp = {Tue, 26 Jun 2018 14:10:44 +0200},
Title = {{JE}rlang: {E}rlang with {J}oins},
Url = {https://doi.org/10.1007/978-3-642-13414-2_5},
Volume = {6116},
Year = {2010},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-13414-2_5}}
@article{GalL91,
Author = {K. B. {Gallagher} and J. R. {Lyle}},
Doi = {10.1109/32.83912},
Issn = {0098-5589},
Journal = {IEEE Transactions on Software Engineering},
Keywords = {program testing;software maintenance;program slicing;software maintenance problem;program slice;line number;single variable decomposition slices;set inclusion;slice-based decomposition;unmodified components;semantically consistent changes;linear time;Software maintenance;Couplings;Programming profession;Software testing;Lattices;Software tools;Computer science},
Month = {Aug},
Number = {8},
Pages = {751-761},
Title = {Using program slicing in software maintenance},
Volume = {17},
Year = {1991},
Bdsk-Url-1 = {https://doi.org/10.1109/32.83912}}
Reference in a new issue View git blame Copy permalink