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)